English software specification language: translation to other languages