Combinatorial algebra : syntax and semantics (2014)