Wielinga, B. J., Schreiber, A. T., Jansweijer, W. N. H., Anjewierden, A. A., & van Harmelen, F. A. H. (1994). Framework and formalism for expressing ontologies, Deliverable ESPRIT project P8145, KACTUS/DO1b.1-Framework-1.1-UvA-BW+GS+WJ+AA. Universiteit van Amsterdam.