Manuel V. Hermenegildo Germán Puebla Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings SAS Lecture Notes in Computer Science 2477 Springer 2002 3-540-44235-9 db/conf/sas/sas2002.html