Harald Ganzinger Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability. 1982 ADT db/conf/adt/adt1982.html#Ganzinger82