1. Aho, A., Lam, M., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools, 2nd edn. Addison-Wesley, Boston (2006)
2. Appel, A.W.: Modern Compiler Implementation in ML. Cambridge University Press, Cambridge (1997)
3. Backus, J., et al.: The Fortran automatic coding system. In: Western Joint Computer Conference, pp. 188–198. Los Angeles, California (1957)
4. Dijkstra, E.W.: Recursive programming. Numerische Mathematik 2, 312–318 (1960).
http://oai.cwi.nl/oai/asset/9253/9253A.pdf
5. Dijkstra, E.W.: Algol 60 translation. ALGOL Bull. 10 (1961).
http://www.cs.utexas.edu/users/EWD/MCReps/MR35.PDF