Dietrich, Dominik, and Mark Buckley. “Verification of Human-Level Proof Steps in Mathematics Education”. Teaching Mathematics and Computer Science, vol. 6, no. 2, Dec. 2008, pp. 345-62, https://doi.org/10.5485/TMCS.2008.0184.