The Java Virtual Machine Specification, Java SE 8 Edition (Java (Addison-Wesley))