Translation Of Formal Method In Different Languages