"CFA2: A Context-Free Approach to Control-Flow Analysis."

Dimitrios Vardoulakis, Olin Shivers (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics