1. Benton, N., Kennedy, A., Russell, G.: Compiling Standard ML to Java bytecodes. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 1998), vol. 34(1), pp. 129–140 (1999)
2. Lecture Notes in Computer Science;S. Berghofer,2002
3. Bothner, P.: Kawa—compiling dynamic languages to the Java VM. In: Proceedings of the USENIX, Technical Conference, FREENIX Track, New Orleans, LA, USENIX Association (1998)
4. Boyer, R.S., Moore, J.S.: A Computational Logic Handbook. Academic Press, London (1988)
5. Curzon, P.: A verified Vista implementation final report. Technical Report 311, University of Cambridge Computer Laboratory (1993)