Schiller, Marvin, et al. “Proof Step Analysis for Proof Tutoring - a Learning Approach to Granularity”. Teaching Mathematics and Computer Science, vol. 6, no. 2, Dec. 2008, pp. 325-43, https://doi.org/10.5485/TMCS.2008.0183.