Dietrich, D. and Buckley, M. (2008) “Verification of human-level proof steps in mathematics education”, Teaching Mathematics and Computer Science, 6(2), pp. 345–362. doi:10.5485/TMCS.2008.0184.