Logics for Coalgebras and Applications to Computer Science (2000)

by A Kurz