Title: Formalizando el Proceso de Depuración en Programación Funcional Paralela y Perezosa