Jackson, Mike, Benyon, David and Lowe, Helene (2004) Using ERMIA for the Evaluation of a Theorem Prover Interface. In: Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers. UITP, Eindhoven, Holland, pp. 104-111.

Lowe, Helene, Jackson, Mike and Benyon, David (1998) Design rational for semi-automated theorem provers. Submitted to Formal Aspects of Computing (Special Issue on User Interfaces for Theorem Provers). ISSN 0934-5043

Lowe, Helene, Cumming, Andrew, Smyth, Michael and Varey, Alison (1996) Lessons from experience: making theorem provers more co-operative. In: Proceedings of the Second Workshop on User Interfacesfor Theorm Provers. University of York, York, UK, pp. 67-74.