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