Egidio Astesiano;Maura Cerioli
-;-
Specifying implementations
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation