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