Hans-Dieter Ehrich Operational Aspects of Algebraic Specifications. 1982 ADT db/conf/adt/adt1982.html#Ehrich82