Java virtual machine specification. - Lindholm Tim; Yellin Frank (1999)