Combinatorial algebra : syntax and semantics - Sapir, Mark, 1957- (Springer monographs in mathematics, 2014)