Encina Vara, Alberto de la (2009) Formalizando el proceso de depuración en programación funcional paralela y perezosa. Tesis PhD.
