1. Abadi, M. and L. Cardelli. A Theory of Objects. Springer-Verlag, New York, NY, 1996.
2. Arnold, K. and J. Gosling. The Java Programming Language. Addison-Wesley, Reading, MA, 2nd edition, 1998.
3. Lect Notes Comput Sci;A.W. Appel,1987
4. Appel, A.W. Compiling with Continuations. Cambridge University Press, Cambridge, England, 1992.
5. Lect Notes Comput Sci;D. Ancona,1999