Julien Tesson: Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels. (Environment for the systematic development and proof of correction of functional parallel programs). University of Orléans, France 2011