Data flow semantics - Kok, Joost N. (1988)