G. Martirosyan, “On Turing Completeness of One Minimal Set of Built-in Functions for Functional Programming Languages”, MPCS, vol. 38, pp. 76–76, Dec. 2021.