Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov, Burcu Külahçioglu: Using control network programming in teaching nondeterminism. CompSysTech 2012: 391-398