✓

@book{rutten_book,
    author = {Jan Rutten},
    title = {The Method of Coalgebra: exercises in coinduction},
    issn = {978-90-6196-568-8},
    date-added = {2024-10-22 15:26:5 +0100}
}

@book{rutten_book, author = {Jan Rutten}, title = {The Method of Coalgebra: exercises in coinduction}, issn = {978-90-6196-568-8}, date-added = {2024-10-22 15:26:5 +0100} }