Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Watson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.
Berlin, Heidelberg: Springer Berlin / Heidelberg 2003
Texto completo disponível