On the Strong Co–induction in Coq | Publicación