“DESENVOLVIMENTO DE UMA SOLUÇÃO PARA VALIDAÇÃO DE AUTÔMATOS UTILIZANDO PROGRAMAÇÃO FUNCIONAL” (2015) Encontros Universitários da UFC, 3(2), p. 93. Disponível em: https://periodicos.ufc.br/eu/article/view/40457 (Acesso em: 21 agosto 2026).