Polyvios Pratikakis Jeffrey S. Foster Michael Hicks Existential Label Flow Inference Via CFL Reachability. 88-106 2006 conf/sas/2006 SAS http://dx.doi.org/10.1007/11823230_7 db/conf/sas/sas2006.html#PratikakisFH06