Schiller, M., Dietrich, D. and Benzmüller, C. (2008) “Proof step analysis for proof tutoring - a learning approach to granularity”, Teaching Mathematics and Computer Science, 6(2), pp. 325–343. doi:10.5485/TMCS.2008.0183.