Symbolic analysis in analog integrated circuit design - Floberg, Henrik (Kluwer, 1997)