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