The Synchronous Programming Language Esterel (1992)

by G Berry, G Gonthier
Venue:Design, Semantics, and Implementation, Science of Computer Programming