by Barbara Liskov
This seems to be a duplicate entry of https://openlibrary.org/works/OL5106017W/Abstraction_and_specification_in_program_development (likely produced by an importer). Also, the editions seem to be d…