Text this: Síntesis formal de alto nivel por derivación automática