"Towards ANSI C Program Slicing using XML."

Katsuhiko Gondow, Hayato Kawashima (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics