Productivity of stream definitions (2007)

by J Endrullis, C Grabmayer, D Hendriks, A Isihara, J W Klop
Venue:In Proceedings of the Conference on Fundamentals of Computation Theory (FCT ’07), volume 4639 of Lecture Notes in Computer Science