Symbolic Analysis Techniques: Application to Analog Design Automation. - Fernadez, Francisco V (Institute of Electrical and Electronics Engineers, 1998)