@InProceedings{Barthwal:ESOP2009:Verified-Parsing,
  author =       {Aditi Barthwal and Michael Norrish},
  title =        {Verified, Executable Parsing},
  booktitle = {Programming Languages and Systems: 18th European Symposium on Programming},
  pages =     {160--174},
  year =      2009,
  editor =    {Giuseppe Castagna},
  volume =    5502,
  series =    {Lecture Notes in Computer Science},
  isbn = 3642005896,
  doi = "10.1007/978-3-642-00590-9_12",
  month =     {March},
  publisher = {Springer}
}