Symbolic analysis and reduction of VLSI circuits - Qin, Zhanhai, 1976- (Springer, 2005)