Valid formulas, games and network protocols - Jean-Louis Krivine; Yves Legrandgérard (CoRR, 2007)