Lowe, H., Jackson, M., & Benyon, D. (1998). Design rational for semi-automated theorem provers. Formal Aspects of Computing,