Radhia Cousot David A. Schmidt Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings SAS Lecture Notes in Computer Science 1145 Springer 1996 3-540-61739-6 db/conf/sas/sas96.html