D. Hausmann, T. Mossakowski, and L. Schröder. Fundamental Approaches to Software Engineering 2005, volume 3442 of Lecture Notes in Computer Science, page 341-356. Springer; Berlin; http://www.springer.de, (2005)
D. Hausmann, T. Mossakowski, and L. Schröder. Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 232-246. Springer; Berlin, (2005)