Classes of Recursively Enumerable Sets and Their Decision Problems (1953)

by H G Rice
Venue:Trans. Amer. Math. Soc