Graph algebras and automata - Kelarev, Andrei (2003)