James Bodwin Laurette Bradley Kohji Kanda Diane Litle Uwe F. Pleban Experience with an Experimental Compiler Generator Based on Denotational Semantics. 216-229 1982 SIGPLAN Symposium on Compiler Construction db/conf/sigplan/sigplan82.html#BodwinBKLP82 http://doi.acm.org/10.1145/800230.806997