Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems | Publicación