Andrew W. Appel, Robert Dockins, and Xavier Leroy. A list-machine benchmark for mechanized metatheory. Journal of Automated Reasoning 49(3), pp. 453–491, 2012.

Kenneth V. Hanford. Automatic generation of test cases. IBM Systems Journal 9(4), pp. 244–257, 1970.

Casey Klein, Robert Bruce Findler, and Matthew Flatt. The Racket virtual machine and randomized testing. Higher-Order and Symbolic Computation, 2013.

John McCarthy. A Basis for a Mathematical Theory of Computation. In Computer Programming And Formal Systems by P. Braffort and D. Hirschberg (Ed.), 1963.

Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes. Testing an Optimising Compiler by Generating Random Lambda Terms. In Proc. International Workshop on Automation of Software Test, 2011.

Asumu Takikawa, T. Stephen Strickland, and Sam Tobin-Hochstadt. Constraining Delimited Control with Contracts. In Proc. European Symposium on Programming, pp. 229–248, 2013.

Ramin Zabih, David McAllester, and David Chapman. Non-deterministic Lisp with dependency-directed backtracking. In Proc. Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 59–64, 1987.