1. Bodwin, J., Bradley, L., Kanda, K., Litle, D. and Pleban, U., “Experience with an Experimental Compiler Generator Based on Denotational Semantics,”Proc. 1982 ACM Symp. on Compiler Construction, SIGPLAN Notices, Vol. 17, No. 6, pp. 216–229, 1982.
2. Cardelli, L., “Basic Polymorphic Typechecking,”Polymorphism,Vol. 2,No. 1, 1984.
3. Chujo, H. and Takeichi, M., “Porting ML on a New Machine,”Proc. 28th Symp. of Inf. Proc. Japan, pp. 427–428, 1984, [in Japanese]. Also Cardelli, L.,Pascal VAX-Unix Version of Edinburgh ML, converted from VMS by Nobuo Saito.
4. Futatsugi, K., Goguen, J. A., Jouannaud, J.-P. and Meseguer, J., “Principles of OBJ2,”Proc. 12th ACM Symp. on Principles of Prog. Lang., pp. 52–66, 1984.
5. Gordon, M. J. C.,The Denotational Description of Programming Languages, Springer-Verlag, 1979.