The ESTEREL Synchronous Programming Language: Design (1992)

by G BERRY, G GONTHIER
Venue:Semantics, Implementation”, Science of Computer Programming