І. Семещук і Т. Семещук, «Оцінювання навчальних досягнень учнів на основі модальної логіки в середовищі Matlab», kosn, вип. 11 (18), с. 125–131, Січ 2011.