Symbolic analysis of analog circuits: techniques and applications - London Kluwer Academic Publisher 1993