English mathematical theory of software reliability: перевод на другие языки