Javier Esparza Andreas Podelski Efficient Algorithms for pre<sup>*</sup> and post<sup>*</sup> on Interprocedural Parallel Flow Graphs. 1-11 2000 POPL http://doi.acm.org/10.1145/325694.325697 db/conf/popl/popl2000.html#EsparzaP00