Schiller, M. et al. 2008. Proof step analysis for proof tutoring - a learning approach to granularity. Teaching Mathematics and Computer Science. 6, 2 (Dec. 2008), 325–343. DOI:https://doi.org/10.5485/TMCS.2008.0183.