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