1993. Examples of structures which do not admit recursive presentations. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 85, (Dec. 1993), 3–11.