Algebraische Spezifikation abstrakter Datentypen eine Einführung in die Theorie - Ehrich, Hans-Dieter 1943-; Gogolla, Martin; Lipeck, Udo W. 1956- (Teubner, 1989)