"Traces of Control-Flow Graphs."

Simone Campanoni, Stefano Crespi-Reghizzi (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics