A coalgebraic foundation for linear time semantics (1999)

by J Power, D Turi
Venue:In Coalgebraic Methods in Computer Science, CMCS