ВАЛЬКОВСКИЙ,; МУСТАФИНА,. Модели абдуктивной логики при анализе надежности программного обеспечения. Труды СПИИРАН, v. 1, n. 2, p. 57-63, 1 abr. 2004.