O. Hutsa, N. Igumentseva, N. Dovgopol, and S. Yakubovska, “Development of the information technology for checking textual procedures for logical coherence and completeness”, EEJET, vol. 5, no. 2 (89), pp. 55–64, Oct. 2017.