Reference:

Morten Kühnrich, Stefan Schwoon, Jiří Srba, and Stefan Kiefer. Interprocedural dataflow analysis over weight domains with infinite descending chains. Technical Report 0901.0501, Computing Research Repository, 2009.

Suggested BibTeX entry:

@techreport{KSSK09b,
    author = {Morten K\"uhnrich and Stefan Schwoon and Ji\v{r}\'{\i} Srba and Stefan Kiefer},
    institution = {Computing Research Repository},
    number = {0901.0501},
    title = {Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains},
    year = {2009}
}