Benevides, Marcos, Areias, Fernando, E Neto, Adolfo. " Eparch: Máquinas de Estado Estaticamente Tipadas em Gleam" Anais do Workshop em Engenharia de Software para Programação Funcional (SE4FP) [Online], (8 setembro 2026)