DESENVOLVIMENTO DE UMA SOLUÇÃO PARA VALIDAÇÃO DE AUTÔMATOS UTILIZANDO PROGRAMAÇÃO FUNCIONAL. (2015). Encontros Universitários Da UFC, 3(2), 93. https://periodicos.ufc.br/eu/article/view/40457