Вальковский, и Мустафина. Модели абдуктивной логики при анализе надежности программного обеспечения. Труды СПИИРАН 1, no. 2 (апрель 1, 2004): 57-63. просмотрено февраль 9, 2025. https://plantprotect.ru/index.php/sp/article/view/1151.