Об автоматизации процедур синтеза тестов для дискретных систем на модели альтернативных графов

Григорьева, К., Эйнасто, Н. Об автоматизации процедур синтеза тестов для дискретных систем на модели альтернативных графов // Машинное проектирование электронных устройств и систем. Таллин : Таллинский политехнический институт, 1986. с. 104-109. (Tallinna Polütehnilise Instituudi toimetised = Труды Таллинского политехнического института ; 626, Электротехника и автоматика ; 31).