Initiale algebraische Spezifikation von Datentypen, parameterisierten Datentypen und Algorithmen - Reichel, Horst; Hupbach, Ulrich L.; Kaphengst, H. (Robotron, 1980)