Abstraction and specification in program development
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 duplications, as there might not be two editions with similar/identical identifiers by MIT press.