English mathematical theory of software reliability: translation to other languages