Refining Nondeterminism in Relativizations of Complexity Classes - Xu Mei-Rui; John E. Donner; Ronald V. Book (J. ACM, 1983)