The Java virtual machine specification | lit.salon