Nondeterministic programs : An example
2006 ◽
pp. 240-247