D. Dietrich and M. Buckley, “Verification of human-level proof steps in mathematics education”, Teach. Math. Comp. Sci., vol. 6, no. 2, pp. 345–362, Dec. 2008, doi: 10.5485/TMCS.2008.0184.