An Axiomatics for Categories of Transition Systems as Coalgebras.

Peter Johnstone John Power Toru Tsujishita Hiroshi Watanabe James Worrell An Axiomatics for Categories of Transition Systems as Coalgebras. 207-213 1998 LICS db/conf/lics/lics98.html#JohnstonePTWW98