Jackson, M., Benyon, D., & Lowe, H. (2004). Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers (104-111)