Towards Diagrammatic Specifications of Symbolic Computation Systems (2005)

by César Domı́nguez, Dominique Duval, Laureano Lambán, Julio Rubio
Venue:In: Mathematics, Algorithms