Семещук, І. і Семещук, Т. 2011. Оцінювання навчальних досягнень учнів на основі модальної логіки в середовищі Matlab. Науковий часопис Українського державного університету імені Михайла Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання. 11 (18) (Січ 2011), 125–131.