Algebraic Informatics - Maletti (Springer International Publishing, 2015)