@misc{indiciae69eba0eda478,
  title = {Functions to Support Input and Output of Intervals},
  author = {M. H. van Emden and B. Moa and S. C. Somosan},
  year = {2007},
  url = {https://arxiv.org/abs/cs/0703003},
  note = {Source identifier: cs/0703003}
}