Подъячев. Использование метода покрытий при верификации моделей IDEF-0. Труды СПИИРАН, no. 5 (октябрь 1, 2007): 275-283. просмотрено апрель 3, 2025. https://ia.spcras.ru/index.php/sp/article/view/1320.