1. M. Broy, C. Facchi, R. Grosu, R. Hetter, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language SPECTRUM: An Informal Introduction, Version 1.0, Part I. Technical report TUM-I9311, Technische Universität München, 1993.
2. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language SPECTRUM: An Informal Introduction, Version 1.0, Part II. Technical report TUM-I9312, Technische Universität München, 1993.
3. M. C. Gaudel, Th. Moineau. A theory of software reusability. In H. Ganzinger (ed.), Proc. ESOP '88. Lecture Notes in Computer Science 300, pp. 115–130, 1988.
4. R. Hennicker, F. Nicki. A Behavioural Algebraic Framework for Modular System Design with Reuse. Technical report LMU-9206, Ludwig-Maximilians-Universität München, 1992.
5. R. Milner, M. Tofte, R. Harper: The Definition of Standard ML. MIT Press, 1990.