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