Optimization of equational specifications using genetic techniques | Publicación