Symbolic Analysis for Automated Design of Analog Integrated Circuits - Gielen, Georges; Sansen, Willy (Springer US, 1991)