Continuous abstract data types: basic machinery and results.

Andrzej Tarlecki, Martin Wirsing

Browse the full FCT paper archive.