<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Blaudeau, Clement / Shankar, Natarajan</hi> (2020): A verified packrat parser interpreter for parsing expression grammars, CPP 2020: Proceedings of the 9th ACM SIGPLANInternational Conference on Certified Programs and ProofsJanuary 2020 Pages 3–17, DOI: 10.1145/3372885.3373836, <anchor xmlns="http://www.tei-c.org/ns/1.0" xml:id="id_result3" /> <anchor xmlns="http://www.tei-c.org/ns/1.0" xml:id="id_shortenedurl3" /> <ref xmlns="http://www.tei-c.org/ns/1.0" target="https://t1p.de/otay">t1p.de/otay</ref>.