The Java virtual machine specification - Lindholm, Tim; Yellin, Frank (The Java series, 1996)