A. Ditchev, “Examples of structures which do not admit recursive presentations”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 85, pp. 3–11, Dec. 1993.