Sommer, W. SPESY: E. interaktives System zur Unterstützung integrierter Programm-Spezifikation u. -Verifikation.
Chicago-Zitierstil (17. Ausg.)Sommer, Walter. SPESY: E. Interaktives System Zur Unterstützung Integrierter Programm-Spezifikation U. -Verifikation. Kaiserslautern.
MLA-Zitierstil (9. Ausg.)Sommer, Walter. SPESY: E. Interaktives System Zur Unterstützung Integrierter Programm-Spezifikation U. -Verifikation.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.