Reference:

Thomas Reps, Stefan Schwoon, and Somesh Jha. Weighted pushdown systems and their application to interprocedural dataflow analysis. Technical Report TR-1470, Computer Sciences Department, University of Wisconsin, February 2003.

Suggested BibTeX entry:

@techreport{RSJ03b,
    author = {Thomas Reps and Stefan Schwoon and Somesh Jha},
    institution = {Computer Sciences Department, University of Wisconsin},
    month = {February},
    number = {TR-1470},
    title = {Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis},
    year = {2003}
}