A model with nondeterministic computation
2005 ◽
pp. 287-296