Some theorems on classes of recursively enumerable sets (1958)

by J C E Dekker, J Myhill
Venue:Trans. Amer. Math. Soc