Ditchev, Angel. 2001. “Effective Enumerations of Families of Recursive Functions”. Ann. Sofia Univ. Fac. Math. And Inf. 93 (December):31-37. https://ftl5.uni-sofia.bg./index.php/fmi/article/view/200.