The esterel programming language: Design, semantics and implementation (1992)

by G Berry, G Gonthier
Venue:Science of Computer Programming, 19(2):87 – 152