Martirosyan, G. “On Turing Completeness of One Minimal Set of Built-in Functions for Functional Programming Languages”. Mathematical Problems of Computer Science, vol. 38, Dec. 2021, pp. 76-76, http://mpcs.sci.am/index.php/mpcs/article/view/549.