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