Ramos MVM, de Queiroz RJGB, Moreira N, Almeida JB.? 2016.??On the Formalization of Some Results of Context-Free Language Theory. Logic, Language, Information, and Computation ? 23rd International Workshop, WoLLIC 2016. 9803