An interactive program verification system (1975)

by D I Good, R L London, W W Bledsoe
Venue:IEEE Trans. Software Eng