J-Kernel: A Capability-Based Operating System for Java. - Thorsten von Eicken; Chi-Chao Chang; Grzegorz Czajkowski; Chris Hawblitzel; Deyu Hu; Dan Spoonhower (Secure Internet Programming, 1999)