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