"Algebra and Coalgebra in Computer Science: 1 conf., CALCO 2005" - читать интересную книгу автора (José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten)