Baudouin Le Charlier Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings SAS Lecture Notes in Computer Science 864 Springer 1994 3-540-58485-4 db/conf/sas/sas94.html