Incremental synthesis of inductive assertions for program verification - Britton, Dianne E. (Univ. Microfilms Internat., 1981)
Univ. of Arizona, Diss., 1977