@article{rutten05,
author = {{Jan J. M. M.} Rutten},
title = {A {Coinductive} {Calculus} of {Streams}},
journal = {Mathematical Structures in Computer Science},
volume = {15},
number = {1},
pages = {93--147},
year = {2005},
doi = {10.1017/S0960129504004517},
}