Defining syntax-directed translations by tree bimorphisms | Publicación