Richard, P. R., Venant, F., & Gagnon, M. (2019). Issues and challenges in instrumental proof. In Proof Technology in Mathematics Research and Teaching (Vol. 14, pp. 139-172). External link