K. Watkins, I. Cervesato, F. Pfenning, and D. Walker. Revised selected papers from the Third International Workshop on Types for Proofs and Programs, April 2003, Torino, page 355-377. Springer, (2004)
A. Watkins, and L. Boggess. Congress on Evolutionary Computation, Part of the 2002 IEEE World Congress on Computational Intelligence, page 926-931. IEEE, (May 2002)