Publikation
Sergey Goncharov; Lutz Schröder; Till Mossakowski
In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-09), Third International Conference, September 6-10, Udine, Italy, Pages 18-33, Lecture Notes in Computer Science (LNCS), Vol. 5728, Springer, Berlin, 9/2009.