International Journal of Foundations of Computer Science |
February 2002, Vol 13(1): pp. 5–51
(Also in Proc. 5th Int. Conf. on Implementation and Application of Automata (CIAA 2000), Springer-Verlag, pp. 1–33, Preliminary version appeared as technical report MCS99-20, Weizmann Institute of Science, 1999. )