Elisabetta Fortuna Patrizia M. Gianni Paola Parenti Carlo Traverso Computing the topology of real algebraic surfaces. 92-100 2002 conf/issac/2002 ISSAC http://doi.acm.org/10.1145/780506.780518 db/conf/issac/issac2002.html#FortunaGPT02