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

by Rod M Burstall
Venue:In Information Processing ’74