1. R.M. Balzer. Living in the Next Generation Operating System. Proceedings of the Fourth World Computer Conference. (September, 1986).
2. N. Delisle and D. Garlan. Applying Formal Specification to Industrial Problems: A Specification of an Oscilloscope. IEEE Software (September 1990).
3. Bill Flinn and Ib. Sørensen. CAVIAR: A Case Study in Specification. In Specification Case Studies, ed. Ian Hayes, Prentice Hall International (1987).
4. David Garlan and Norman Delisle. Formal Specifications as Reusable Frameworks. Proceedings of the International Symposium: VDM'90 — VDM and Z. Kiel, Germany (April 1990), Springer-Verlag, LNCS 428.
5. D. Garlan and E. Ilias. Low-cost, Adaptable Tool Integration Policies for Integrated Environments. Proceedings of ACM SIGSOFT90: Fourth Symposium on Software Development Environments, pp. 1–10 (December 1990).