Jacques Loeckx The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types. 1982 ADT db/conf/adt/adt1982.html#Loeckx82