Fixpoint induction and proof of program semantics (1970)

by D M R PARK
Venue:B. Machine Intelligence