← The Java® Virtual Machine Specification