Ramos MVM, Almeida JB, Moreira N, de Queiroz RJGB.? 2016.??Formalization of the Pumping Lemma for Context-Free Languages. Journal of Formalized Reasoning. 9(2):53-68.