Fixpoint induction and proofs of program properties (1970)

by D Park
Venue:In Machine Intelligence