@misc{indiciaeeab6a7f74b3e,
  title = {Well-definedness of Streams by Transformation and Termination},
  author = {Hans H Zantema},
  year = {2010},
  doi = {10.2168/lmcs-6(3:21)2010},
  url = {https://arxiv.org/abs/1008.2590},
  note = {Source identifier: 1008.2590}
}