1. Brazier, F. M. T., van Langen, P. H. G., and Treur, J.: 1995, A logical theory of design, in J. S. Gero, and F. Sudweeks (eds), Preprints Advances in Formal Design Methods for CAD, Key Centre of Design Computing, University of Sydney, pp. 247–271.
2. Blessing, L. T. M.: 1994,. A process-based apporach to computer-supoorted engineering design,thesis university of twente, enschede, the netherlands, ISBN 0 952350408.
3. Chung, P. W. H., Goodwin, R.: 1994, Representing Design History, in J. S. Gero and F. Sudweeks (ed.), Artificial Intelligence in Design ‘84, Kluwer Academic Publishers, Dordrecht, pp. 735–752.
4. Gero, J. S.: 1998, Towards a model of designing which includes its situatedness, in H. Grabowski, S. Rude, and G. Grein (eds), Universal Design Theory, Shaker Verlag Aachen, pp. 47–56.
5. Gruber, T.R.: 1993, A translation approach to portable ontology specifications, Knowledge Acquisition 5: 199–200.