T. Mossakowski, H. Reichel, M. Roggenbach, und L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Volume 2755 von Lecture Notes in Computer Science, Seite 376--392. Springer; Berlin; http://www.springer.de, (2003)
L. Schröder, und T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Volume 4409 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2007)
T. Mossakowski, M. Roggenbach, und L. Schröder. Coalgebraic Methods in Computer Science, Volume 82 von Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
D. Hausmann, T. Mossakowski, und L. Schröder. Fundamental Approaches to Software Engineering 2005, Volume 3442 von Lecture Notes in Computer Science, Seite 341-356. Springer; Berlin; http://www.springer.de, (2005)
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)