Some transformations for developing recursive programs

This publication has 5 references indexed in Scilit:

• Structured Programming with go to Statements
  ACM Computing Surveys, 1974
• Semantics and axiomatics of a simple recursive language.
  Published by Association for Computing Machinery (ACM) ,1974
• On a laboratory for the study of automating programming
  Published by Association for Computing Machinery (ACM) ,1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• Algorithm 245: Treesort
  Communications of the ACM, 1964