@phdthesis{Jul00PhDT,
        author = "P. Juli\'an-Iranzo",
        title = "Especializaci\'on de Programas L\'ogico-Funcionales Perezosos",
        school = "Departamento de Sistemas Inform\'aticos y Computaci\'on,
                Universidad Polit\'ecnica de Valencia",
        month = {Mayo},
        year = {2000}}