Return to Article Details An external approach to abstract data types I: computability on abstract data type Download Download PDF