Reflections on the Work of C.A.R. Hoare | lit.salon