Classes of recursively enumerable sets and their decision problems (1953)

by H Gordon Rice
Venue:Trans. AMS