Подъячев, 2007. Использование метода покрытий при верификации моделей IDEF-0. Труды СПИИРАН. 5 (окт. 2007), 275-283. DOI:https://doi.org/10.15622/sp.5.17.