Вальковский,; Мустафина,. Модели абдуктивной логики при анализе надежности программного обеспечения. ТС 2004, 1, 57-63.