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