Jean Della Dora Aude Maignan Mihaela Mirica-Ruse Sergio Yovine Hybrid computation. 101-108 2001 ISSAC http://doi.acm.org/10.1145/384101.384116 db/conf/issac/issac2001.html#DoraMMY01