1. Andrea Asperti , Claudio Sacerdoti Coen , and Enrico Tassi . 2010. Regular Expressions , au point. CoRR abs/1010.2604 ( 2010 ). arxiv:1010.2604http://arxiv.org/abs/1010.2604 Andrea Asperti, Claudio Sacerdoti Coen, and Enrico Tassi. 2010. Regular Expressions, au point. CoRR abs/1010.2604 (2010). arxiv:1010.2604http://arxiv.org/abs/1010.2604
2. Fahad Ausaf , Roy Dyckhoff , and Christian Urban . 2016. POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) . In Interactive Theorem Proving, Jasmin Christian Blanchette and Stephan Merz (Eds.). Springer International Publishing , Cham , 69–86. Fahad Ausaf, Roy Dyckhoff, and Christian Urban. 2016. POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl). In Interactive Theorem Proving, Jasmin Christian Blanchette and Stephan Merz (Eds.). Springer International Publishing, Cham, 69–86.
3. Adam Chlipala . 2013. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant . The MIT Press . Adam Chlipala. 2013. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. The MIT Press.
4. Russ Cox. 2009. Regular Expression Matching: the Virtual Machine Approach. (2009). https://swtch.com/ rsc/regexp/regexp2.html Russ Cox. 2009. Regular Expression Matching: the Virtual Machine Approach. (2009). https://swtch.com/ rsc/regexp/regexp2.html
5. Thales Delfino and Rodrigo Ribeiro. 2018. Towards certified virtual machine-based regular expression parsing — On-line repository. https://github.com/lives-group/regex-transformation. Thales Delfino and Rodrigo Ribeiro. 2018. Towards certified virtual machine-based regular expression parsing — On-line repository. https://github.com/lives-group/regex-transformation.