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