Java precisely - Sestoft, Peter (MIT Press, 2005)