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