Algebraic Foundations in Computer Science - Kuich, Werner (Springer Berlin Heidelberg, 2011)