Classes of recursively enumerable sets and their decision problems

Rice, H. G. · Transactions of the American Mathematical Society · 1953