Robert W. Robinson Simplicity of Recursively Enumerable Sets. 162-172 1967 32 J. Symb. Log. 2 db/journals/jsyml/jsyml32.html#Robinson67