Chris Hankin Igor Siveroni Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings 3672 3-540-28584-9 2005 SAS Lecture Notes in Computer Science Springer db/conf/sas/sas2005.html