@article{CousotCousot02-TCS,
   author =  {Cousot, P{.} and Cousot, R{.}},
   title =   {Parsing as Abstract Interpretation of Grammar
              Semantics},
   journal = {Theoret{.} Comput{.} Sci{.}},
   volume =  290,
   pages =   {531--544},
   year =    2003,
}

\bibitem{CousotCousot02-TCS-parsing}
P{.} Cousot and R{.} Cousot.
\newblock Parsing as abstract interpretation of grammar semantics.
\newblock {\em Theoret{.} Comput{.} Sci{.}}, 290:531--544, 2003.