Гаске, Оливер, и др. «Язык TouIST для логики высказываний и дискретной математики. В помощь преподавателям и студентам». Компьютерные инструменты в образовании, вып. 2, август 2021 г., сс. 13-25, http://cte.eltech.ru/ojs/index.php/kio/article/view/1708.