Чупилко М.М. Динамическая верификации цифровой аппаратуры на основе формальных спецификаций : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / М. М. Чупилко, 2012. - 24 с. - Текст : непосредственный.