The Java Language Specification. - Gosling, James (Addison-Wesley, 2014)