The Java virtual machine specification - Lindholm Tim; Yellin Frank (Addison-Wesley, 1999)