Program Development in Java: Abstraction, Specification, and Object-Oriented Design 1st (first) Edition by Liskov, Barbara, Guttag, John published by Addison-Wesley Professional (2000)