Adapting Software Fault Isolation to Contemporary CPU Architectures
The Java Virtual Machine Specification