Structured Transition Systems as Lax Coalgebras
A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier, 1998.