Thesen zu den Anforderungen an eine Spezifikationssprache. - K. Hauer; Peter Schnupp (Software Engineering, 1980)