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)
F. Dylla, T. Mossakowski, T. Schneider, and D. Wolter. Proceedings of Conference On Spatial Information Theory 2013, volume 8116 of Lecture Notes in Computer Science, page 516--536. Springer-Verlag Berlin Heidelberg, (2013)