An interactive program verification system (1975)

by D Good, R London, E Bledsoe
Venue:IEEE Trans. Software Eng