Coalgebras and modal logic (2000)

by M Roiger
Venue:Coalgebraic Methods in Computer Science, Volume 33 in Electronic Notes in Theoretical Computer Science