Symbolic techniques applied to switched-current ADCs synthesis. - Nuno Horta; Maria Fino; João Goes (ISCAS, 2000)