Object-Oriented Design and Data Structures
Andrew Myers and Dexter Kozen