Richard Genestier, Alain Giorgetti, Guillaume Petiot. Gagnez sur tous les tableaux. David Baelde; Jade Alglave.
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015),
〈http://jfla.inria.fr/2015〉.
〈hal-01099135v2〉