Peter Cholak Sergei S. Goncharov Bakhadyr Khoussainov Richard A. Shore Computably Categorical Structures and Expansions by Constants. 13-37 1999 64 J. Symb. Log. 1 db/journals/jsyml/jsyml64.html#CholakGKS99