Towards diagrammatic specifications of symbolic computation systems (2005)

by C Domínguez, D Duval, L Lambán, J Rubio
Venue:Seminar Mathematics, Algorithms and Proofs (MAP