1. Enumerating lambda terms by weighted length of their de bruijn representation;Bodini;Discrete Applied Mathematics,2018
2. Dubien, N., et al., 2022. fast-check: Property based testing framework for javascript/typescript. https://github.com/dubzzz/fast-check. [Online; accessed 2022-05-16].
3. Counting and generating lambda terms;Grygiel;Journal of Functional Programming,2013
4. Testing an Optimising Compiler by Generating Random Lambda Terms;Palka,2012
5. van der Rest, C., 2019. Generating Constrained Test Data using Datatype Generic Programming. Master's thesis.