Einführung in Software Engineering. - Reinhold Kimm; Wilfried Koch; Werner Simonsmeier; Friedrich Tontsch (de Gruyter, 1979)

Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation? - Werner Simonsmeier (Software Engineering, 1980)

Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden. - Werner Simonsmeier (Software Engineering, 1980)

CIDRE - Eine interaktive Software-Entwurfs- und Entwicklungsumgebung mit Zielsprache COBOL. - Mechthild Budde; Christoph Knabe; Werner Simonsmeier (Fachtagung über Programmiersprachen, 1984)