A. Enikeev and M. B. A. Mohammed, “THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY”, ESJ, vol. 10, no. 10, May 2014.