@inproceedings{Barthwal_Norrish_10,
    address          = {Brasília, Brazil},
    author           = {Barthwal, Aditi and Norrish, Michael},
    booktitle        = {17th Workshop on Logic, Language, Information and Computation },
    editor           = {{Anuj Dawar}},
    keywords         = {language theory, interactive theorem proving},
    month            = jul,
    pages            = {125--135},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3847.pdf},
    publisher        = {Springer},
    title            = {Mechanisation of {PDA} and Grammar Equivalence for Context-Free Languages},
    year             = {2010}
  }