Левашенко В.Г. Параллельные алгоритмы анализа дискретных устройств на основе направленных логических производных и их аппаратно-программная реализация : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / В. Г. Левашенко, 1996. - 19 с. - Текст : непосредственный.