D.: A coalgebraic foundation for linear time semantics (1999)

by J Power, Turi
Venue:CTCS ’99, Conference on Category Theory and Computer Science. Volume 29 of Electronic Notes in Theoretical Computer Science