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