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