Combinatorial Algebra: Syntax and Semantics - Sapir (Springer International Publishing, 2014)