The Esterel synchronous programming language: Design, semantics, implementation (1992)

by Gerard Berry, Georges Gonthier
Venue:Science of Computer Programming