Теория эквивалентных преобразований алгоритмов в САПР СБИС - Мищенко В. А. Валентин Александрович (Минск, Навука i тэхнiка, 1991)