Mireille Ducassé Ludovic Langevine Pierre Deransart Rigorous design of tracers: an experiment for constraint logic programming http://arxiv.org/abs/cs.SE/0310042 2003 CoRR cs.SE/0310042 db/journals/corr/corr0310.html#cs-SE-0310042