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