“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.