Automata and languages - Howie, John M (Clarendon Press, 1991)