L. Schröder, и T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, том 4409 из Lecture Notes in Computer Science, стр. 128-142. Springer, (2007)
T. Mossakowski, M. Roggenbach, и L. Schröder. Coalgebraic Methods in Computer Science, том 82 из Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
T. Mossakowski, H. Reichel, M. Roggenbach, и L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, том 2755 из Lecture Notes in Computer Science, стр. 376--392. Springer; Berlin; http://www.springer.de, (2003)
D. Hausmann, T. Mossakowski, и L. Schröder. Fundamental Approaches to Software Engineering 2005, том 3442 из Lecture Notes in Computer Science, стр. 341-356. Springer; Berlin; http://www.springer.de, (2005)
D. Hausmann, T. Mossakowski, и L. Schröder. Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 232-246. Springer; Berlin, (2005)