Genetic Programming by Jos C.M. Baeten & J.A. Foster