J. Bowen, und M. Hinchey. Rigorous Methods for Software Construction and Analysis, Volume 5115 von Lecture Notes in Computer Science, Seite 219-233. Springer, (2009)
M. Korns. Genetic Programming Theory and Practice IV, Volume 5 von Genetic and Evolutionary Computation, Kapitel 16, Springer, Ann Arbor, (11-13 May 2006)