1. R. Achuthan, V.S. Alagar, and T. Radhakrishnan. An Object-Oriented Framework for Specifying Reactive Systems. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), pages 18–30. Université du Quebéc à Montréal, 1994.
2. G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. Département d'Informatique et de Recherche Opérationnelle, Publication 748, Université de Montréal, 1990.
3. E. Becker. The Electronic HDMS-A Patient's Record — A TROLL light Case Study. Project Thesis, TU Braunschweig, 1993.
4. R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, Berlin, LNCS 562, 1991.
5. S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992.