Гаске, О. и др. 2021. Язык TouIST для логики высказываний и дискретной математики. В помощь преподавателям и студентам. Компьютерные инструменты в образовании. 2 (авг. 2021), 13–25.