Algebra and coalgebra in computer science : 2nd international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007: proceedings / ed. T. Mossakowski, 2007 r=on-line. - Текст : электронный.