Patrick Cousot Moreno Falaschi Gilberto Filé Antoine Rauzy Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings WSA Lecture Notes in Computer Science 724 Springer 1993 3-540-57264-3 db/conf/sas/wsa93.html