Dr Michael Spivey

Dr Spivey is a University Lecturer in Computation at the Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College. He also holds the post of Vice Provost.
To contact him in his role as Vice Provost, please email vice.provost@oriel.ox.ac.uk.
Dr Spivey's main areas of research interest are compilers and programming languages, especially logic programming.
Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, No. 3, 2008. ISBN 978-0-521-05414-0.
The Z Notation: A reference manual, Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-978529-9.
An introduction to logic programming through Prolog, Prentice Hall International Series in Computer Science, 1996. ISBN 0-13-536047-1.