O. Hutsa, N. Igumentseva, N. Dovgopol, і S. Yakubovska, «Розробка інформаційної технології перевірки текстових процедур на логічну зв’язність та повноту», EEJET, т. 5, вип. 2 (89), с. 55–64, Жов 2017.