M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. St0len. The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. (Version 1.0). Part II. TUM-I 9312, Technische Universitat Miinchen, May 1993

Languages mentioned

• SPECTRUM {1993}