Theoretical Computer Science, Volume 260

Volume 260, Number 1-2, 6 June 2001

Coalgebraic Methods in Computer Science 1998