The Java(TM) Virtual Machine Specification (HTML)
