Thomas W. Reps Stefan Schwoon Somesh Jha David Melski Weighted pushdown systems and their application to interprocedural dataflow analysis. 206-263 2005 58 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/j.scico.2005.02.009 db/journals/scp/scp58.html#RepsSJM05