Li-Ling Chen Williams Ludwell Harrison III An efficient approach to computing fixpoints for complex program analysis. 98-106 1994 International Conference on Supercomputing http://doi.acm.org/10.1145/181181.181308 db/conf/ics/ics1994.html#ChenH94