Behavioral Program Synthesis with Genetic Programming - Krawiec (Springer International Publishing, 2016)