Asperti, A., Ricciotti, W. and Sacerdoti Coen, C. (2014) “Matita Tutorial”, Journal of Formalized Reasoning, 7(2), pp. 91–199. doi: 10.6092/issn.1972-5787/4651.