English mathematical theory of software reliability: traducción a otros idiomas