G. Berry, The Constructive Semantics of Pure Esterel. Draft Book, available at: http://www.estereltechnologies, 1996.

G. Berry, The Foundations of Esterel, Proof, Language, and Interaction, Essays in Honor of Robin Milner, 2000.

D. Gaffé and A. Ressouche, Algebraic Framework for Synchronous Language Semantics, 2013 International Symposium on Theoretical Aspects of Software Engineering, pp.51-58, 2013.
DOI : 10.1109/TASE.2013.15

M. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, vol.3, issue.3, pp.265-316, 1988.
DOI : 10.1007/BF00485052

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1080, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

A. Ressouche and D. Gaffé, Compilation modulaire d'un langage synchrone. Revue des sciences et technologies de l'information, série Théorie et, Science Informatique, vol.4, issue.30, pp.441-471, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00524499

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285
URL : http://projecteuclid.org/download/pdf_1/euclid.pjm/1103044538