Hartmut Wedekind: Konstruktive Abstrakte Datentypen. GI Jahrestagung 1980: 213-224