TY - CONF AU - Corradini, Andrea AU - Große-Rhode, Martin AU - Heckel, Reiko ID - 8281 T2 - Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal) TI - Structured Transition Systems as Lax Coalgebras VL - 11 ER -