Symbolic analysis for automated design of analog integrated circuits - Gielen, Georges (Kluwer Academic Pub., 1991)