Abstraction and specification in program development - Guttag, John; Liskov, Barbara, 1939- (Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill, 1986)
περιέχει βιβλιογραφία Περιέχει ασκήσεις περιέχει προβλήματα