Department of Information and Computer Science, University of California at Irvine; Oberon Software Distribution; http://www.ics.uci.edu/~oberon.
Franz M and Kistler T (1997); "Slim Binaries"; Communications of the ACM, 40:12, pp87-94.
Franz M (1998); "Open Standards Beyond Java: On The Future Of Mobile Code For The Internet"; Journal Of Universal Computer Science, 4:4, pp521-532; May 1998.
Franz M and Kistler T; Juice ; http://www.ics.uci.edu/~juice.
Gosling J, Joy B and Steele G (1996); The Java Language Specification; Addison-Wesley.
Lewis T (1997); "If Java is the Answer, What Was the Question?"; IEEE Computer, 30:3, p136 & pp133-135.
Lindholm T and Yellin F (1996); The Java Virtual Machine Specification; Addison-Wesley.
Pagan F (1981), Formal Specification Of Programming Languages; Prentice-Hall.
Welch TA (1984); "A Technique for High-Performance Data Compression"; IEEE Computer, 17:6, pp8-19.
Wirth N and Gutknecht J (1992); Project Oberon: The Design Of An Operating System and Compiler; Addison-Wesley.