1. J. Aguado et al. “Grounding Synchronous Deterministic Concurrency in Sequential Programming”. In: Programming Languages and Systems Ed. by Z. Shao. Vol. 8410. LNCS. Grenoble, France: Springer, 2014, pp. 229–248.
2. A. Benveniste et al. “The Synchronous Languages Twelve Years Later”. In: Proceedings of the IEEE 91.1 (2003), pp. 64–83.
3. G. Berry and L. Cosserat. “The Esterel Synchronous Programming Language and its Mathe- matical Semantics”. In: Seminar on Concurrency (CONCUR) Ed. by S.D. Brookes, A.W. Roscoe, and G. Winskel. Vol. 197. LNCS. Pittsburgh, Pennsylvania, USA: Springer, 1985, pp. 389–448.
4. M. von der Beeck. “A Comparison of Statecharts Variants”. In: Formal Techniques in Real- Time and Fault-Tolerant Systems (FTRTFT) Ed. by H. Langmaack, W.-P. de Roever, and J. Vytopil. Vol. 863. LNCS. Lübeck, Germany: Springer, 1994, pp. 128–148.
5. G. Berry. The Constructive Semantics of Pure Esterel. July 1999.