@phdthesis{Gibson11II,
author ={J. Paul Gibson},
title = { G\'enie Logiciel Formel:
         Th\'eorie, Pratique et P\'edagogie
       (Apprentissage \`a partir de l'exp\'erience du vote \'electronique)},
school = {Universit\'e Henri Poincar\'e, Nancy I, France},
month = oct,
type = "{Habilitation \`a Diriger des Recherches}",
year = 2011
}