An interactive program verification system

Donald I. Good, Ralph L. London, W. W. Bledsoe
1975 Proceedings of the international conference on Reliable software -  
doi:10.1145/800027.808472 fatcat:ndrmy32ivbgmtjilbyun6uazyq