English mathematical theory of software reliability: tłumaczenie na inne języki