"Algebraic Foundations in Computer Science " - читать интересную книгу автора (Werner Kuich, George Rahonis)