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