Logics for coalgebras and applications to computer science (2000)

by A Kurz