Translation Of Procedures For Verifying In Different Languages