English supervisory control of program execution: translation to other languages