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