Mechanisms for secure modular programming in Java.   [PDF, BibTeX, ]
Lujo Bauer, Andrew W. Appel, and Edward W. Felten.
Technical Report TR-603-99, Princeton University, July 1999.