1. Michel Bidoit. {frPluss, un langage pour le développement de spécifications algébriques modulaires}. Thèse d'Etat, Université de Paris-Sud, Orsay, May 1989.
2. S.R. Cardenas and H. Oktaba. Formal Specification in Larch Case Study: Text Manager. Interface Specification, Implementation, in Ada and Validation of Implementation, TR 511, Instituto de Investigaciones en Matematicas Aplicadas y en Sistemas, Universidad Nacional Autonoma de Mexico, 1988.
3. Yoonsik Cheon. Larch/Smalltalk: A Specification Language for Smalltalk, M.Sc. Thesis, Iowa State University, 1991.
4. O.-J. Dahl, D.F. Langmyhr, and O. Owe. Preliminary Report on the Specification and Programming Language ABEL, Research Report 106, Institute of Informatics, University of Oslo, Norway, 1986.
5. Ole-Johan Dahl. Verifiable Programming, Prentice Hall International Series in Computer Science, 1992.