Logics for Coalgebras and Applications to Computer Science

Bok av Alexander Kurz