Bernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311