"Automatic Monitoring of Control-flow Through Inheritance Hierarchies."

Benjamin Tyler, Neelam Soundarajan (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics