GASQUET, O.; LONGIN, D.; LORINI, E.; MARIS, F.; REGNIER, P.; SOLOVIEV, S. ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics. Computer Tools in Education, n. 2, p. 13-25, 15 Aug. 2021.