Symbolic Analysis and Reduction of VLSI Circuits - Qin, Zhanhai (Springer Science + Business Media, Inc., 2005)