@inproceedings{Nielson02Automatic,
  author = {Flemming Nielson and Hanne Riis Nielson and Helmut Seidl},
  title = {Automatic {C}omplexity {A}nalysis},
  booktitle = {Programming Languages and Systems},
  editor = {Daniel Le M\'etayer},
  month = {April},
  year = 2002,
  pages = {243-261},
  series = {Lecture Notes in Computer Science},
  volume = {2305},
  publisher = {Springer},
  address = {Grenoble, France},
}