@misc{W2081938726,
  author = {Gérard Berry and Georges Gonthier},
  title = {The Esterel synchronous programming language: design, semantics, implementation},
  year = {1992},
  howpublished = {Science of Computer Programming},
  doi = {https://doi.org/10.1016/0167-6423(92)90005-v}
}