P. Attar, Towards a Safe and Secure Synchronous Language, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00942606

G. Berry, The Constructive Semantics of Pure Esterel Draft Version 3, 2002.

G. Berry, C. Nicolas, and M. Serrano, Hiphop, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, PLASTIC '11, pp.49-56, 2011.
DOI : 10.1145/2093328.2093337
URL : https://hal.archives-ouvertes.fr/hal-00911782

F. Boussinot, SugarCubes Implementation of Causality, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073201

L. Mandel and . Conception, Sémantique et Implantation de ReactiveML : un langagè a la ML pour la programmation réactive, 2006.

C. John and . Reynolds, Definitional interpreters for higher-order programming languages, Reprinted from the proceedings of the 25th ACM National Conference, pp.717-740, 1972.

O. Tardieu, R. De, and S. , Curing Schizophrenia by program rewriting in Esterel, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04., pp.39-48, 2004.
DOI : 10.1109/MEMCOD.2004.1459813