L. Schröder, und T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
T. Mossakowski, und A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Volume 8412 von Lecture Notes in Computer Science, Seite 441-456. Springer-Verlag Berlin Heidelberg, (2014)
D. Lücke, und T. Mossakowski. Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), Volume 222 von Frontiers in Artificial Intelligence and Applications, Seite 175-185. IOS Press; Amsterdam; http://www.iospress.nl, (2010)
D. Hausmann, T. Mossakowski, und L. Schröder. Algebra and Coalgebra in Computer Science, Volume 3629 von Lecture Notes in Computer Science, Seite 232-246. Springer; Berlin, (2005)
M. Codescu, und T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, Volume 6859 von Lecture Notes in Computer Science, Seite 145-160. Springer, (2011)