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