RAMOS, M. V. M.; ALMEIDA, J. C. B.; MOREIRA, N.; DE QUEIROZ, R. J. G. B. Formalization of the pumping lemma for context-free languages. Journal of Formalized Reasoning, [S. l.], v. 9, n. 2, p. 53–68, 2016. DOI: 10.6092/issn.1972-5787/5595. Disponível em: https://jfr.unibo.it/article/view/5595. Acesso em: 20 apr. 2024.