Transformation as Search. - Mathias Kleiner; Marcos Didonet Del Fabro; Davi De Queiroz Santos (ECMFA, 2013)