G.: The Esterel Synchronous Programming Language (1992)

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