Symbolic Analysis Techniques: Applications to Analog Design Automation - Fern¿ndez (IEEE, 1998)