@incollection{Rutten_1998,
    doi = {10.1007/bfb0055624},
    url = {https://doi.org/10.1007%2Fbfb0055624},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {194--218},
    author = {J. J. M. M. Rutten},
    title = {Automata and coinduction (an exercise in coalgebra)},
    booktitle = {{CONCUR}{\textquotesingle}98 Concurrency Theory}
}

@incollection{Rutten_1998, doi = {10.1007/bfb0055624}, url = {https://doi.org/10.1007%2Fbfb0055624}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {194--218}, author = {J. J. M. M. Rutten}, title = {Automata and coinduction (an exercise in coalgebra)}, booktitle = {{CONCUR}{\textquotesingle}98 Concurrency Theory} }