Douglas A. Cenzer;William R. Moser
-;-
Recursively enumerable sets and degrees
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)