61, Springer-Verlag. (1978). References External links Home page 1944 births Living people Alumni of Wolfson College, Oxford Members of the Department of Computer Science, University of Oxford IBM employees Academics of the Victoria University of Manchester Academics of Newcastle University Computer science writers Academic journal editors English computer scientists Formal methods people Fellows of the British Computer Society Fellows of the Association for Computing Machinery Fellows of the Institution of Engineering and Technology Fellows of the Royal Academy of Engineering