Transformation of Equational Specification by Means of Genetic Programming | Publicación