A logic for coalgebraic simulation, in: Horst Reichel (Ed (2000)

by A Baltag
Venue:Electronic Notes in Theoretical Computer Science