The nondeterministic computation of functions - David Michael Capka (1983)