CURRENTLY SOLD OUT

Program Development in Java: Abstraction, Specification and Object-Oriented Design by John Guttag, Barbara Liskov (Hardback, 2000)