@techreport{AFJV99tr,
 author =  "M. Alpuente and M. Falaschi and P. Juli{\'a}n and G. Vidal",
 title =  "T\'ecnicas de {E}valuaci\'on {P}arcial {P}erezosa en {P}rogramas
 {U}niformes",
 year =  "1999",
 institution = "Departamento de Sistemas Inform\'aticos y Computaci\'on,
                Universidad Polit\'ecnica de Valencia",
 number = {DSIC-II/18/99}}