The elementary theory of recursively enumerable sets (1968)

by A H Lachlan
Venue:Duke Math. J