Algebraic Informatics - Winkler, Franz (Springer Berlin Heidelberg, 2011)