Canonical term functors and parameterization-by-use for the specification of abstract data types - Beierle, Christoph 1954-; Voß, Angelika (Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht, 1983)