Symbolic analysis for automated design of analog integrated circuits - Gielen, Georges (The Kluwer international series in engineering and computer science, 1991)