"Algebra and Coalgebra in Computer Science - Calco 2011 " - читать интересную книгу автора (Andrea Corradini, Bartek Klin, Corina Cîrstea)