Limited Nondeterminism in Parallel Models of Computation - Wolf, Marty J (University of Wisconsin-Madison Department of Computer Sciences, 1990)