Hartmut Ehrig Parameterized Data Types and Parameter Passing. 1982 ADT db/conf/adt/adt1982.html#Ehrig82a