English mathematical theory of software reliability: Übersetzung in andere Sprachen