Symbolic analysis for automated design of analog integrated circuits - Gielen, Georges (Kluwer international series in engineering and computer science. VLSI, computer architecture, and digital signal processing, 1991)