Publikation
Dennis Walter; Lutz Schröder; Till Mossakowski
In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005), September 3-6, Swansea, United Kingdom, Pages 424-438, Lecture Notes in Computer Science, Vol. 3629, ISBN 3-540-28620-9, Springer; http://www.springer.de, Berlin, 2005.