Program proving: Jumps and functions (1972)

by M Clint, C A R Hoare
Venue:Acta Informatica