"Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Till Mossakowski, Ugo Montanari, Magne Haveraaen)