On the inevitable intertwining of specification and implementation

This publication has 5 references indexed in Scilit:

• Some transformations for developing recursive programs
  Published by Association for Computing Machinery (ACM) ,1975
• Structured Programming with go to Statements
  ACM Computing Surveys, 1974
• On the criteria to be used in decomposing systems into modules
  Communications of the ACM, 1972
• Program development by stepwise refinement
  Communications of the ACM, 1971
• Dataless programming
  Published by Association for Computing Machinery (ACM) ,1967