Some techniques for proving correctness of programs which alter data structures (1972)

by Rod Burstall
Venue:Machine Intelligence