SPESY e. interaktives System zur Unterstützung integrierter Programm-Spezifikation u. -Verifikation - Sommer, Walter