A. Vavilenkova, «Застосування темпоральної логіки при побудові формальних моделей електронних текстів», Вісник НТУ "ХПІ", вип. 23(1245), с. 84–88, Вер 2017.