1. Contemporary Mathematics;S.-C. Chou,1984
2. Gordon, M.J.C., Melham, T.F.: Introduction to HOL: a theorem proving environment for higher order logic. Cambridge University Press, Cambridge (1993)
3. Lecture Notes in Computer Science;M. Gordon,1979
4. Hales, T.C.: Easy pieces in geometry (2007), http://www.math.pitt.edu/~thales/papers/
5. Hales, T.C.: The Jordan curve theorem, formally and informally. The American Mathematical Monthly 114, 882–894 (2007)