Enikeev, A., M. B. A. Mohammed, and E. Stepanova. “ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING”. European Scientific Journal, ESJ, Vol. 11, no. 10, Nov. 2015, http://eujournal.org/index.php/esj/article/view/6478.