Soskova, A. “An External Approach to Abstract Data Types I: Computability on Abstract Data Type”. Ann. Sofia Univ. Fac. Math. And Inf., vol. 87, Dec. 1995, pp. 47-59, https://stipendii.uni-sofia.bg/index.php/fmi/article/view/404.