1. Bernays, P. (1968) Axiomatic set theory. Dover Publications, New York.
2. Bijl, A. (1987) An approach to design theory. Proceedings, IFIP WG 5.2 Working Conference on Design Theory for CAD (eds. H. Yoshikawa and E. A. Warman ), pp. 3–31.
3. Brachman, R. J., McGuiness, D. L., Patel-Schneider, P. F., and Resnick, L. A. (1991) Living with CLASSIC: when and how to use a KL-ONE-like Language. Principles of Semantic Networks: Explorations in the Representation of Knowledge (ed. J. F. Sowa ), pp. 401–56.
4. Buvac, S., Buvac, V., and Mason, I. A. (1995) Metamathematics of contexts. To appear in Fondamenta Informaticae, 23.
5. Capoyleas, V., Chen, X., and Hoffman, C. M. (1996) Generic naming in generative, constraint-based design. Computer-Aided Design, 28, 17–28.