Martin Wirsing Peter Pepper Helmuth Partsch Walter Dosch On Hierarchies of Abstract Data Types. 1-33 1983 20 Acta Inf. db/journals/acta/acta20.html#WirsingPPD83