Traian Muntean, Dimitrios Poulakis, Robert Rolland Algebraic Informatics - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642406638 Subjects--Index Terms: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Software Engineering; Discrete Mathematics in Computer Science; Mathematics of Computing