Martin R. Raskovsky, Philip A. Collier: From standard to implementation denotational semantics. Semantics-Directed Compiler Generation 1980: 94-139