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