Jan A. Bergstra Specification of Parameterized Data Types. 1982 ADT db/conf/adt/adt1982.html#Bergstra82