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