Algebraische Implementierung abstrakter Datentypen - Ehrig, Hartmut 1944-2016; Kreowski, Hans-Jörg; Padawitz, Peter (Univ.-Bibl. der Techn. Univ. Berlin, Abt. Publ., 1979)