@inproceedings{Muller-Olm04Precise,
  author = {Markus M\"uller-Olm and Helmut Seidl},
  title = {Precise interprocedural analysis through linear algebra},
  booktitle = {Principles of Programming Languages},
  editor = {Neil D. Jones and Xavier Leroy},
  month = {January},
  year = 2004,
  pages = {330-341},
  publisher = {ACM},
  address = {Venice,Italy},
}