2015. DESENVOLVIMENTO DE UMA SOLUÇÃO PARA VALIDAÇÃO DE AUTÔMATOS UTILIZANDO PROGRAMAÇÃO FUNCIONAL. Encontros Universitários da UFC. 3, 2 (set. 2015), 93.