Title: Abstraction and specification in program development
Description: 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.
Subjects: Electronic digital computers, Programming, Softwarespezifikation, Programmation, Programmierung, Programmation (Informatique), Softwareentwicklung, Computer programming, Ordinateurs, Programmatuurtechniek