Graph Algebras and Automata - Andrei Kelarev (Taylor and Francis, 2003)