Title: Symbolic Analysis for Automated Design of Analog Integrated Circuits / Edition 1, Author: Georges Gielen
Title: Symbolic Analysis and Reduction of VLSI Circuits / Edition 1, Author: Zhanhai Qin