Symbolic Analysis For Automated Design Of Analogue Integrated Circuits by Georges Gielen, Georges G.E. Gielen & Willy M.C. Sansen