Java precisely - Sestoft, Peter 1962- (MIT Press, 2002)
Includes bibliographical references (p. 106) and index