An interactive program verification system (1979)

by D I Good, R X
Venue:IEEE Transactions on Software Engineering, l ( l