Algebraic Informatics - Poulakis, Dimitrios; Rolland, Robert; Poulakis, Dimitrios; Rolland, Robert (Springer Berlin Heidelberg, 2013)