In memoriam: C. A. R. Hoare | Synapse