Семещук, І. і Семещук, Т. (2011) «Оцінювання навчальних досягнень учнів на основі модальної логіки в середовищі Matlab», Науковий часопис Українського державного університету імені Михайла Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання, (11 (18), с. 125–131. доступний у: https://sj.udu.edu.ua/index.php/kosn/article/view/188 (дата звернення: 6 Травень 2024).