Techniques for the Design of Java Operating Systems
by Back et al (Univ. of Utah)
in USENIX00
Context: Operating System Structure, language support