Interactive program verification using virtual programs (1975)

by R W Topor