Giorgio Levi Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings SAS Lecture Notes in Computer Science 1503 Springer 1998 3-540-65014-8 db/conf/sas/sas98.html