Continuous abstract data types: basic machinery and results.

Andrzej Tarlecki Martin Wirsing Continuous abstract data types: basic machinery and results. 431-441 1985 conf/fct/1985 FCT db/conf/fct/fct1985.html#TarleckiW85 http://dx.doi.org/10.1007/BFb0028827