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