Is There a Mathematical Basis for Computer Programming? (NAG Newsletter, 1981)

(untitled) - Hoare, C