Title: Reflections on the Work of C.A.R. Hoare