The Java Language Specification, Java Se 7 Edition, 4/E by Bill Joy & James Gosling