Translation Of Execution Procedures In Different Languages