B
[Ber00] Gérard Berry. The foundations of Esterel. In Gordon D. Plotkin, Colin Stirling et Mads Tofte (eds.), Proof, Language, and Interaction – Essays in Honour of Robin Milner. MIT Press, 2000.
@incollection{PLI2000-Ber,
  author =              {Berry, G{\'e}rard},
  title =               {The foundations of {E}sterel},
  editor =              {Plotkin, Gordon D. and Stirling, Colin and Tofte,
                         Mads},
  booktitle =           {Proof, Language, and Interaction~-- Essays in Honour
                         of {R}obin {M}ilner},
  publisher =           {MIT Press},
  pages =               {425-454},
  year =                {2000},
}
Liste des auteurs