Udo W. Lipeck Composition and Implementation of Parameterized Data Types. 1982 ADT db/conf/adt/adt1982.html#Lipeck82