Reflections on the work of C.A.R. HoareJones, C. B., A. W. Roscoe, Kenneth B. Wood · First published 2010Open the Tome
