Letter to professor C.A.R. Hoare (31 August 1970)