Jeannette M. Wing
Barbara H. Liskov
ACM Transactions on Programming Languages and Systems
Unifying Explanatory and Constructive Modeling: Towards Removing the Gulf Between Ontologies and Conceptual Models