Manfred Broy, Andrzej Tarlecki. Algebraic specification of the abstract data type Continuum . Bulletin of the EATCS, 26:32-35, 1985.
@article{BroyT85, title = {Algebraic specification of the abstract data type Continuum }, author = {Manfred Broy and Andrzej Tarlecki}, year = {1985}, tags = {data-flow, algebraic specification, algebra}, researchr = {https://researchr.org/publication/BroyT85}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {26}, pages = {32-35}, }