A. Ditchev, “Characterization of the structures which admit effective enumerations”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 92, pp. 7–16, Dec. 2000.