Ramos, M. V. M. (2016) “Formalization of the pumping lemma for context-free languages”, Journal of Formalized Reasoning, 9(2), pp. 53–68. doi: 10.6092/issn.1972-5787/5595.