English mathematical theory of software reliability: la traduction en autres langues