Symbolic Analysis And Reduction Of Vlsi Circuits door Sheldon Tan, Zhanhai Qin & Chung-Kuan Cheng