Shabaldina N. V. Towards checking web-services security: using automata equations and inequalities / N. V. Shabaldina, N. V. Yevtushenko, F. Yu // Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 90. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651566