Soskova, A. 1995. An external approach to abstract data types I: computability on abstract data type. Ann. Sofia Univ. Fac. Math. and Inf. 87, (Dec. 1995), 47–59.