"Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)" - читать интересную книгу автора (Alexander Kurz, Marina Lenisa, Andrzej Tarlecki)