Title: Zur Spezifikation und Struktur grösserer Systeme
Subjects: ALGOL (Computer program language), GKS (Computer system), System design