Robert Muth Saumya K. Debray On the Complexity of Flow-Sensitive Dataflow Analyses. 67-80 2000 POPL http://doi.acm.org/10.1145/325694.325704 db/conf/popl/popl2000.html#MuthD00