Hutsa, O.; Igumentseva, N.; Dovgopol, N.; Yakubovska, S. Development of the Information Technology for Checking Textual Procedures for Logical Coherence and Completeness. EEJET 2017, 5, 55-64.