Jones, C.B. and Roscoe, A.W. (2010) Insight, inspiration and collaboration. In: Reflections on the work of C.A.R. Hoare. Springer, pp. 1-32.