Symbolic Analysis and Reduction of VLSI Circuits - Qin, Zhanhai; Tan, Sheldon X. D.; Cheng, Chung-Kuan (Springer US, 2005)