Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science.
Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 197-253 (2002).