Program proving as hand simulation with a little induction (1974)

by R M Burstall
Venue:IFIP Congress