1. G. Berry, Preemption in concurrent systems, in: Foundations of Software Technology and Theoretical Computer Science: 13th Conf., Bombay, India, December 15–17, Lecture Notes in Computer Science, vol. 761, Springer, Berlin, 1993, pp. 72–93.
2. G. Berry, A Quick Guide to Esterel, Unpublished Esterel Primer, 1996.
3. G. Berry, The Foundations of Esterel, in: G. Plotkin, C. Stirling, M. Tofte (Eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge, MA, 1998.
4. M. Broy, Interaction refinement – the easy way, in: Program design calculi, NATO ASI Series F: Computer and System Sciences, vol. 118, Springer, Berlin, 1993.
5. M. Broy, Informatik (Eine grundlegende Einführung), vol. 1, 2nd ed. Springer, Berlin, 1997 (in German).