Program Proving: Jumps and Functions. (1972)

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