Reflections on the Work of C.A.R. Hoare - Roscoe, A.W (Springer-Verlag London Limited, 2010)