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