Reference:

Morten Kühnrich, Stefan Schwoon, Jiří Srba, and Stefan Kiefer. Interprocedural dataflow analysis over weight domains with infinite descending chains. In Luca de Alfaro, editor, Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS), volume 5504 of Lecture Notes in Computer Science, pages 440–455, York, UK, March 2009. Springer.

Suggested BibTeX entry:

@inproceedings{KSSK09a,
    address = {York, UK},
    author = {Morten K\"uhnrich and Stefan Schwoon and Ji\v{r}\'{\i} Srba and Stefan Kiefer},
    booktitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS)},
    editor = {Luca de Alfaro},
    month = {March},
    pages = {440--455},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains},
    volume = {5504},
    year = {2009}
}