Herbert Klaeren Parameterized Software Specifications with Inductively Defined Operations. 1982 ADT db/conf/adt/adt1982.html#Klaeren82