Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop. Productivity of stream definitions. Theoretical Computer Science, 411(4-5):765-782, 2010. [doi]
@article{EndrullisGHIK10, title = {Productivity of stream definitions}, author = {Jörg Endrullis and Clemens Grabmayer and Dimitri Hendriks and Ariya Isihara and Jan Willem Klop}, year = {2010}, doi = {10.1016/j.tcs.2009.10.014}, url = {http://dx.doi.org/10.1016/j.tcs.2009.10.014}, researchr = {https://researchr.org/publication/EndrullisGHIK10}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {411}, number = {4-5}, pages = {765-782}, }