N. Halbwachs, « Synchronous Programming of Reactive Systems, a tutorial and commented bibliography, Tenth International Conference on Computer-Aided Verification, p.98

P. Raymond, « Introduction à l'approche synchrone, 2012.

C. André, « Comparaison des styles de programmation de langages synchrones, 2005.

D. Gaffé and A. Ressouche, « Compilation modulaire d'un langage synchrone », Technique et Science Informatiques (TSI), no. spécial "Méthodes Formelles, Edition Hermes Science, vol.30, pp.441-471, 2011.