1. V. A. Buevic, Construction of a universal bounded-determined function with two input variables, Probl. kibernetiki 15 (1965).
2. V. A. Buevic, On the algorithmic undecidability of the A-completeness of boundeddetermined mappings, Mat. Zametki 6 (1972), 687–697 (in Russian).
3. V. A. Buevic, On the τ-completeness in the class of automaton mappings, Dokl. Akad. Nauk 252 (1980), 1037–1041 (in Russian).
4. G. N. Blochina, W. B. Kudrjavcev, and G. Burosch, Ein Vollständigkeitskriterium bis auf eine gewise Äquivalenzrelation für eine verallgemeinerte Postsche Algebra, Publicationes Math. 20 (1973), 141–152.
5. J. Dassow, Kleene-Mengen und Kleene-Vollständigkeit. EIK 10 (1974), 287–295.