Jackson, M., Benyon, D., & Lowe, H. Using ERMIA for the Evaluation of a Theorem Prover Interface