Soskova, A. An External Approach to Abstract Data Types I: Computability on Abstract Data Type. Ann. Sofia Univ. Fac. Math. and Inf. 1995, 87, 47-59.