Algebraic specification of the abstract data type Continuum

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},
}