The Java TM virtual machine specification - Linholm, Tim (Addison Wesley, 1997)