“Definability via Partial Enumerations With Semicomputable Codomains”. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, vol. 92, Dec. 2000, pp. 49-63, https://annual.uni-sofia.bg/index.php/fmi/article/view/254.