English Computer Program Development Specification: translation to other languages