Formalizando el proceso de depuración en programación funcional paralela y perezosa - Encina Vara, Alberto de la. (Universidad Complutense de Madrid, Servicio de Publicaciones, 2008)