G. Graeff, B. Mello, D. Duarte, A. Braga, S. Braga, and S. Feitosa, “A Random Generation of Haskell Programs Applied to Optimization Testing in Compilers”, RITA, vol. 31, no. 2, pp. 20–29, Sep. 2024.