1995. An external approach to abstract data types I: computability on abstract data type. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 87, (Dec. 1995), 47–59.