T. Mossakowski, M. Roggenbach, and L. Schröder. Coalgebraic Methods in Computer Science, volume 82 of Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
T. Mossakowski, H. Reichel, M. Roggenbach, and L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, volume 2755 of Lecture Notes in Computer Science, page 376--392. Springer; Berlin; http://www.springer.de, (2003)