English mathematical theory of software reliability: תרגום לשפות אחרות