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