Gasquet O. et al. ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics // Computer Tools in Education. St. Petersburg, Russia, 2021. № 2. Pp. 13-25.