Interactive program verification using virtual programs (1975)

by Rodney Topor