1. R. Bornat, B. Sufrin,‘Animating Formal Proofs at the Surface:The Jape Proof Calculator,’ The Computer Journal,42(3):177–192,1999
2. P. Cairns, J. Gow,“On Dynamically Presenting a Topology Course,” First Interna-tional Workshop on Mathematical Knowledge Management,2001.Revised version submitted to Annals of A.I.& Math.,2002
3. K. Easthaughffe,‘Support for Interactive Theorem Proving:Some Design Princi-ples and Their Application,’ in R. Backhouse (ed.),Workshop on User Interfaces for Theorem Provers,p 96–103,1998
4. X. Faulkner, Usability Engineering, Palgrave, 2002
5. T.R.G. Green, A. Blackwell, A tutorial on cognitive dimensions,
http://www.cl.cam.ac.uk/users/afb21/publications/CDtutSep98_OnlinePDF.pdf