Fusion in Coq. - José Luis Freire; José E. Freire Brañas; Antonio Blanco Ferro; Juan J. Sánchez Penas (EUROCAST, 2001)

On the Strong Co-induction in Coq. - José Luis Freire-Nistal; Antonio Blanco Ferro; Víctor M. Gulías; José E. Freire Brañas (EUROCAST, 2003)