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