SPESY, eine integrierte Softwareentwicklungs- und Verifikationsumgebung - Schölles, V.; Beierle, Christoph 1954-; Voß, Angelika (1985)