Graeff, G.; Mello, B.; Duarte, D.; Braga, A.; Braga, S.; Feitosa, S. A Random Generation of Haskell Programs Applied to Optimization Testing in Compilers. RITA 2024, 31, 20-29.