SPESY, ein interaktives System zur Unterstützung integrierter Programm-Spezifikation und -Verifikation - Sommer, Walter