Lowe, Helene, Jackson, Mike, Benyon, David, "Design rational for semi-automated theorem provers.", , 1998