1. Alagar VS, Colagrosso P, Loukas A, Narayanan S, Protopsaltou A (1996) Formal specifications for effective black-box reuse. Technical reports (2 volumes), Department of Computer Science, Concordia University, Montreal, Canada, February 1996
2. Chen J (1989) The Larch/Generic interface language. SB thesis, Department of Electrical Engineering and Computer Science, Massachusettes Institute of Technology
3. Cheon Y (1991) Larch/Smalltalk: a specification language for Smalltalk. MSc thesis, Department of Computer Science, Iowa State University
4. Colagrosso P (1993) Formal specification of C++ class interfaces for software reuse. M Comp Sci thesis, Department of Computer Science, Concordia University, Montreal, Canada
5. Guaspari D, Marceau C, Polak W (1990) Formal verification of Ada programs. IEEE Trans Softw Eng 16(9):1058–1075