A. Asperti, W. Ricciotti, and C. Sacerdoti Coen, “Matita Tutorial”, JFR, vol. 7, no. 2, pp. 91–199, Jan. 2014.