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