Mitar Milutinovič (2011) A nondeterministic and lazy framework for data-flow computation. Prešeren awards for students.