Radhia Cousot Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings SAS Lecture Notes in Computer Science 2694 Springer 2003 3-540-40325-6 db/conf/sas/sas2003.html