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