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