Author: NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra (2003 Montréal, Québec)