Text this: Теория эквивалентных преобразований алгоритмов в САПР СБИС