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