On some games which are relevant to the theory of recursively enumerable sets (1970)

by A H Lachlan
Venue:Ann. Math