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