@CONFERENCE\{IMM1999-01626, author = "F. Nielson and H. Riis Nielson", title = "Interprocedural Control Flow Analysis", year = "1999", pages = "20-39", booktitle = "Proc. {ESOP'}99", volume = "", series = "Lecture Notes in Computer Science", editor = "", publisher = "Springer-Verlag", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1626-full.html" }