Translation Of Encoding Specifications In Different Languages