Title: The Java Virtual Machine Specification, Java SE 7 Edition (Java Series)
Subjects: Java (computer program language), Internet, Virtual computer systems, Java virtual machine