@inproceedings{Nielson01Control-Flow,
  author = {Flemming Nielson and Helmut Seidl},
  title = {Control-{F}low {A}nalysis in {C}ubic {T}ime},
  booktitle = {Programming Languages and Systems},
  editor = {David Sands},
  month = {April},
  year = 2001,
  pages = {252-268},
  series = {Lecture Notes in Computer Science},
  volume = {2028},
  publisher = {Springer},
  address = {Genova, Italy},
}