Soskova, A. (1995). An external approach to abstract data types I: computability on abstract data type. Ann. Sofia Univ. Fac. Math. And Inf., 87, 47–59. Retrieved from https://ftl5.uni-sofia.bg/index.php/fmi/article/view/404