@inproceedings{endr:grab:hend:isih:klop:2007,
  author    = {Endrullis, J. and Grabmayer, C. and Hendriks, D. and Isihara, A. and Klop, J.W.},
  title     = {{Productivity of Stream Definitions}},
  pages     = {274--287},
  booktitle = {Proc.\ Conf.\ on {Fundamentals of Computation Theory} (FCT~2007)},
  year      = {2007},
  number    = {4639},
  series    = {LNCS},
  publisher = {Springer}
}