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