2 P. Amagbegnon, L. Besnard, and P. Le Guernic. 3 T. P. Amagbegnon, P. Le Guernic, H. Marchand, and E. Rutten. A Comparative Study in Formal Software Development . LNCS n 861, Springer-Verlag, 1995. 4 A. Benveniste.
Synchronous languages provide safety in reactive systems design.
5 A. Benveniste, P. Caspi, P. Le Guernic, and N. Halbwachs. Data-flow synchronous languages. 6 G. Berry. In G. X. Ritter, editor, Information Processing 89 . Elsevier Science Publishers B.V., 1989.