Integrating functional programming and symbolic computation | Publicación