P. Attar, Towards a safe and secure synchronous language. These, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00942606

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

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

J. H. Morris, Lambda Calculus Models of Programming Languages, 1968.

O. Tardieu, Loops in esterel, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, 2004.
DOI : 10.1145/1113830.1113832
URL : https://hal.archives-ouvertes.fr/pastel-00001336

O. Tardieu, A deterministic logical semantics for pure Esterel, ACM Transactions on Programming Languages and Systems, vol.29, issue.2, 2007.
DOI : 10.1145/1216374.1216376

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