Translation Of Specifications Based In Different Languages