Andrzej Tarlecki, Martin Wirsing. Continuous abstract data types: basic machinery and results. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT 85, Cottbus, GDR, September 9-13, 1985. Volume 199 of Lecture Notes in Computer Science, pages 431-441, Springer, 1985.
Abstract is missing.