The Java virtual machine specification - Lindholm, Tim; Author (The Java series, 1999)