AGUIRRE ESPARZ, Idoia (1999) Técnicas simbólicas para el análisis y diseño automático de circuitos analógicos. PhD thesis, UPNA.