Interactive program verification using virtual programs - Topor, Rodney W. (1975)
Edinburgh, Univ., Diss., 1975