L. Schröder, и T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), том 2621 из Lecture Notes in Computer Science, стр. 261--277. Springer; Berlin; http://www.springer.de, (2003)
D. Walter, L. Schröder, и T. Mossakowski. Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 424-438. Springer; Berlin; http://www.springer.de, (2005)
S. Goncharov, L. Schröder, и T. Mossakowski. Mathematical Foundations of Computer Science, том 4162 из Lecture Notes in Computer Science, стр. 447-458. Springer; Berlin; http://www.springer.de, (2006)