Dr. M. Clint

Program proving: Jumps and functions

C. A. R. Hoare, Maurice Clint, C. Hoare, 1972, Acta Informatica.