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