Pascal Van Hentenryck Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings SAS Lecture Notes in Computer Science 1302 Springer 1997 3-540-63468-1 db/conf/sas/sas97.html