Stability, Sequentiality and Demand Driven Evaluation in Dataflow. - Arnon Avron; Nada Sasson (Formal Aspects Comput., 1994)