1. [1] Frank Belz and David C. Luckham. A new approach to prototyping Ada-based hardware/software systems. InProceedings of the ACM Tri-Ada Conference, Baltimore, December 1990. ACM Press.
2. [2] Digital Equipment Corporation, Hewlett-Packard Company, HyperDesk Corporation, NCR Corporation, Object Design, Inc., and SunSoft, Inc.The Common Object Request Broker: Architecture and Specification, omg document number 91.12.1 edition, December 1991. Revision 1.1.
3. [3] J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch family of specification languages.IEEE Software, 2(5):24-36, September 1985.
4. [4] Dinesh Katiyar and Sriram Sankar. Completely bounded quantification is decidable. InProceedings of the ACM SIGPLAN Workshop on ML and its Applications, pages 68-77, San Francisco, California, June 1992.
5. [5] B. Liskov and S. Zilles. Specification techniques for data abstraction.IEEE Transactions on Software Engineering, SE-1(1):7-19, March 1975.