@article{FGR96survey, author = {G. Fil\`e and R. Giacobazzi and F. Ranzato}, title={A Unifying View on Abstract Domain Design}, journal = "ACM Computing Surveys", year = {1996}, volume = {28}, number = {2}, pages = {333-336}}