"Experiences with Program Static Analysis."

Hideto Ogasawara, Minoru Aizawa, Atsushi Yamada (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics