An Experiment in Automatic Verification of Programs 
How effective is a compiler at replacing explicit
verification, and what is the cost of this 
technique?
CACM October, 1963
Weinberg, G. M.
Gressett, G. L.
