Computing in Coq with Infinite Algebraic Data Structures | Publicación