Mitar Milutinović (2011) A nondeterministic and lazy framework for data-flow computation. EngD thesis.