@incollection{Jourdan_2012,
    doi = {10.1007/978-3-642-28869-2_20},
    url = {https://doi.org/10.1007%2F978-3-642-28869-2_20},
    year = {2012},
    publisher = {Springer Berlin Heidelberg},
    pages = {397--416},
    author = {Jacques-Henri Jourdan and Fran{\c{c}}ois Pottier and Xavier Leroy},
    title = {Validating {LR}(1) Parsers},
    booktitle = {Programming Languages and Systems}
}

@incollection{Jourdan_2012, doi = {10.1007/978-3-642-28869-2_20}, url = {https://doi.org/10.1007%2F978-3-642-28869-2_20}, year = {2012}, publisher = {Springer Berlin Heidelberg}, pages = {397--416}, author = {Jacques-Henri Jourdan and Fran{\c{c}}ois Pottier and Xavier Leroy}, title = {Validating {LR}(1) Parsers}, booktitle = {Programming Languages and Systems} }