@inproceedings{Rutten2002OnSA,
    title = {On streams and coinduction},
    author = {Jan Rutten},
    year = {2002},
    url = {https://api.semanticscholar.org/CorpusID:264216006},
    date-added = {2024-10-22 15:13:15 +0100}
}

@inproceedings{Rutten2002OnSA, title = {On streams and coinduction}, author = {Jan Rutten}, year = {2002}, url = {https://api.semanticscholar.org/CorpusID:264216006}, date-added = {2024-10-22 15:13:15 +0100} }