publicações selecionadas artigo de conferência On the Formalization of Some Results of Context-Free Language Theory. International Journal on Software Tools for Technology Transfer. 2016
