Ramos, Marcus V M, José Carlos Bacelar Almeida, Nelma Moreira, and Ruy José Guerra Barretto de Queiroz. “Formalization of the Pumping Lemma for Context-Free Languages”. Journal of Formalized Reasoning 9, no. 2 (January 1, 2016): 53–68. Accessed April 25, 2024. https://jfr.unibo.it/article/view/5595.