A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation.

Solomon Feferman A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. 79-95 1991 conf/csl/1991 CSL db/conf/csl/csl91.html#Feferman91 http://dx.doi.org/10.1007/BFb0023759