@techreport{AFJV02,
 author = "Mar\'{\i}a Alpuente and Moreno Falaschi and Pascual Juli\'an
           and Germ\'an Vidal",
 title = "Uniform Lazy Narrowing",
 institution ="DSIC, Universidad Polit\'ecnica de Valencia",
 year=2002
}