An Interactive Verification System (1975)

by D I Good, R L London, W W Bledsoe
Venue:IEEE Transactions on Software Engineering