1972
5 references published this year.
Structured multiprogramming
Per Brinch Hansen (1972) · Communications of the ACM · Association for Computing Machinery
Some techniques for proving correctness of programs which alter data structures
Rodney M. Burstall (1972) · Machine intelligence
Chapter I: Notes on structured programming
Edsger W. Dijkstra (1972) · Academic Press Ltd. eBooks · Academic Press
Verification Oriented Language Design
James H. Morris (1972) · University of California, Berkeley
On the criteria to be used in decomposing systems into modules
David Lorge Parnas (1972) · Communications of the ACM · Association for Computing Machinery