Heinz W. Schmidt Polymorphic Types and Algebraic Specifications. 1986 ADT db/conf/adt/adt1986.html#Schmidt86