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

by G Berry, G Gonthier
Venue:Science of Computer Programming