Enikeev, A.; Mohammed, M. B. A. THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY. ESJ 2014, 10.