English computer aided typesetting: translation to other languages