[A letter to C.A.R. Hoare, 13 July 1974]