Exploration implicite et explicite de l'espace d''etats atteignables de circuits logiques Esterel. - Yannis Bres (2002)

Bigloo.NET: compiling Scheme to .NET CLR. - Yannis Bres; Bernard P. Serpette; Manuel Serrano (J. Object Technol., 2004)