1972
2 references published this year.
Some techniques for proving correctness of programs which alter data structures
Rodney M. Burstall (1972) · Machine intelligence
Verification Oriented Language Design
J. H. Morris (1972)