Mathematician:C.A.R. Hoare