Agostino Cortesi Gilberto Filé Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings SAS Lecture Notes in Computer Science 1694 Springer 1999 3-540-66459-9 https://doi.org/10.1007/3-540-48294-6 db/conf/sas/sas99.html