Вальковский, и Мустафина, 2004. Модели абдуктивной логики при анализе надежности программного обеспечения. Труды СПИИРАН. 1, 2 (апр. 2004), 57-63. DOI:https://doi.org/10.15622/sp.2.4.