Java precisely - Sestoft (MIT Press, 2005)