Toward a man-machine system for proving program correctness (1970)

by D I Good
Venue:Ph.D. Th., Dep. of Comput. Sci., U. of