SPESY. Ein interaktives System z. Unterstützung integrierter Programm-Spezifikation u.-Verifikation. Bd 1. - Sommer, Walter (Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht, 1984)