Symbolic analysis of analog circuits: Techniques and applications - Huelsman, Lawrence P Gielen, Georges G E, Ed (The Kluwer International series in engineering and computer series)