@inproceedings{simon02analyzing,
  author = {A. Simon and A. King},
  title = {Analyzing {S}tring {B}uffers in {C}},
  booktitle = {Algebraic Methodology and Software Technology},
  editor = {H. Kirchner and C. Ringeissen},
  month = {September},
  year = 2002,
  pages = {365--379},
  series = {LNCS},
  volume = {2422},
  publisher = {Springer},
  doi = {10.1007/3-540-45719-4_25},
  address = {Reunion Island, France},
}