Java Precisely - Peter Sestoft (The MIT Press, 2016)