Vavilenkova, A. «Застосування темпоральної логіки при побудові формальних моделей електронних текстів». Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях, вип. 23(1245), Вересень 2017, с. 84-88, doi:10.20998/2413-4295.2017.23.13.