Мищенко Александр Андреевич. Формализация логического проектирования процессоров: Дис... канд. физ.- мат. наук: 01.05.01 / НАН Украины. - К., 1997. - 126л. - Бібліогр.: л. 109-113.