Program proving considered as hand simulation plus induction (1974)

by R BURSTALL
Venue:In Congress on Information Processing