@inproceedings{Seidl00ConstraintA,
  author = {Helmut Seidl and Bernhard Steffen},
  title = {Constraint-{B}ased {I}nter-{P}rocedural {A}nalysis of {P}arallel {P}rograms},
  booktitle = {Programming Languages and Systems},
  editor = {Gert Smolka},
  month = {March},
  year = 2000,
  pages = {351-365},
  series = {Lecture Notes in Computer Science},
  volume = {1782},
  publisher = {Springer},
  address = {Berlin, Germany},
}