1. Stijn Arts and Reijer Grimbergen. Taking a risc; implementing functional languages on a risc. Master’s thesis, University of Nijmegen, 1990.
2. R.M. Burstall and P.J. Landin. Programs and their proofs: an algebraic approach. Machine Intelligence, 4, 1969.
3. J Mc Charthy and J Painter. Correctness of a compiler for arithmetic expressions. In Symposium on Applied Mathematics
19, 1967.
4. L.M Chirica. Contributions to Compiler Correctness. PhD thesis, University of California at LA, USA, 1976.
5. C. Consel and O. Danvy. Static and dynamic semantics processing. In Proc. ACM POPL’91, 1991.