An interactive program verification system

Donald I. Good, Ralph L. London, W. W. Bledsoe
1975 SIGPLAN notices  
doi:10.1145/390016.808472 fatcat:jp3u45ngsfbobhawbs373byc4e