The Java Virtual Machine Specification, Java SE 8 Edition