Symbolic Analysis and Reduction of VLSI Circuits - Qin, Zhanhai (Springer)