@techreport{LucasTR2003,
 author = "S. Lucas", 
 title = "Termination of programs with strategy annotations",
 institution = "DSIC, Universidad Polit\'ecnica de Valencia",
 number = "DSIC-II/20/03",
 month = "September",
 year = 2003
}