Abstract semantics of synchronous languages the example Esterel - Broy, Manfred 1949- (1997)
Literaturverz. S. 19 - 20