Towards Diagrammatic Specifications of Symbolic Computation Systems | Publicación