Introduction to analytical dynamics (OUP, 1987) A second edition is in preparation, to be published by Springer.
Geometric quantization (second edition, OUP, 1992) Integrability, self-duality, and twistor theory (with L.J. Mason, OUP/LMS,1996)
Teaching material