ผู้เขียน: Udo Walter Lipeck

Hans-Dieter Ehrich & Martin Gogolla: Algebraische Spezifikation abstrakter Datentypen