The specification language SPECTRUM core language report V1.0 - Grosu, Radu; Nazareth, Dieter (Technische Universität <München>: TUM-I, 1994)