https://arxiv.org/abs/1008.2590
[1008.2590] Well-definedness of Streams by Transformation and Termination
Abstract page for arXiv paper 1008.2590: Well-definedness of Streams by Transformation and Termination
well definedness10082590streamstransformation