Fixpoint induction and proofs of program properties (1969)

by D Park
Venue:Machine Intelligence