1. Juanito Camilleri and Tom Melham. Reasoning with inductively defined relations in the HOL theorem prover. Technical Report 265, University of Cambridge Computer Laboratory, Cambridge, CB2 3QG, U.K., August 1992.
2. Sophia Drossopoulou and Susan Eisenbach. Is the Java type system sound? (version 2.01). Technical report, Imperial College, University of London, Cambridge, CB2 3QG, U.K., January 1997. This version was distributed on the Internet. Please contact the authors if a copy is required for reference.
3. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996.
4. M.J.C Gordon and T.F Melham. Introduction to HOL: A Theorem Proving Assistant for Higher Order Logic. Cambridge University Press, 1993.
5. Lect Notes Comput Sci;J. Harrison,1996