Translation Of Every Specification In Different Languages