by B. Liskov
This seems to be a duplicate entry of https://openlibrary.org/books/OL18180593M/Abstraction_and_specification_in_program_development likely produced by an importer.