1. Drawing the red line in Java;Back,1999
2. G. Back, W. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI'2000), San Diego, CA, USA, Oct. 2000.
3. G. Back, P. Tullmann, L. Stoller, W. Hsieh, and J. Lepreau. Techniques for the design of Java operating systems. In Proceedings of the 2000 USENIX Annual Technical Conference, San Diego, CA, June 2000.
4. G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Java operating systems: Design and implementation. Technical Report UUCS-98–015, University of Utah, Department of Computer Science, Aug. 6, 1998.
5. W. Binder. J-SEAL2 A secure high-performance mobile agent system. In IAT'99 Workshop on Agents in Electronic Commerce, Hong Kong, Dec. 1999.