Leen Torenvliet Peter van Emde Boas Simplicity, Immunity, Relativizations and Nondeterminism 1-17 Inf. Comput. January 1989 80 1 db/journals/iandc/iandc80.html#TorenvlietB89