Dave Ritchie
Inria Nancy Grand Est
LORIA
615 Avenue du Jardin Botanique
Campus Scientifique, BP239
54506 Villers-lès-Nancy, France
E-mail: dave.ritchie AT inria.fr