"Static object trace extraction for programs with pointers."

Thomas Eisenbarth, Rainer Koschke, Gunther Vogel (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics