Asperti, A.; Ricciotti, W.; Sacerdoti Coen, C. Matita Tutorial. JFR 2014, 7, 91-199.