1. A. Benveniste, P. Le Guernic, «A denotational theory of synchronous communicating systems», INRIA research report No 685.
2. A. Benveniste, B. Le Goff, P. Le Guernic, «Hybrid Dynamical Systems theory and the language SIGNAL.», INRIA research report No 838.
3. G. Berry, L. Cosserat, «The ESTEREL Programming Language and its Mathematical Semantics», INRIA Res. Rep. No 327, Rocquencourt, France, to appear in Science of Computer Programming.
4. P. Caspi, D. Pilaud, N. Halbwachs, J.A. Plaice, «LUSTRE: a declarative language for programming synchronous systems», Proc of the 14th ACM symp. on Principles of Programming Languages, 1987.
5. T. Gautier, P. Le Guernic, L. Besnard, «SIGNAL, a Declarative Language for Synchronous Programming of Real—time Systems», proc. of the third Conference on Functional Programming Languages and Computer Architecture, G. Kahn Ed, Lect Notes in Computer Science, vol 274, Springer V.