% -*- coding: mac-roman -*-
@STRING{af = {Acta Informatica}}
@STRING{aim = {Advances in Math.}}
@PREAMBLE{"\newcommand{\OneLetter}[1]{#1}"}

@STRING{amlg = {Arch. f\"{u}r Math. Logik und Grundlagenforschung}}
@STRING{beatcs = {Bull. EATCS}}
@STRING{cacm = {Comm. Assoc. Comput. Mach.}}
@STRING{cras = {C. R. Acad. Sci. Paris S\'{e}r. A}}
@STRING{eik = {Elekt. Inf. und Kyber.}}
@STRING{ic = {Inform. and Control}}
@STRING{icm = {Inform. and Comput.}}
@STRING{ieeetec = {IEEE Trans. Electronic Computers}}
@STRING{iretec = {{IRE} {T}rans. {E}lectronic {C}omputers}}
@STRING{ipl = {Inform. Process. Lett.}}
@STRING{ijac = {Int. J. of Algebra and Computation}}
@STRING{jcss = {J. Computer System Sci.}}
@STRING{jalg = {J. Algebra}}
@STRING{jacm = {J. Assoc. Comput. Mach.}}
@STRING{jlms = {J. London Math. Soc.}}
@STRING{pcps = {Proc. Cambridge Philos. Soc.}}
@STRING{plms = {Proc. London Math. Soc.}}
@STRING{lncs = {Lecture Notes in Comput. Sci.}}
@STRING{mst = {Math. Systems Theory}}
@STRING{rairo = {RAIRO Informatique Th{\'e}or.}}
@STRING{siamc = {SIAM J. Comput.}}
@STRING{sgf = {Semigroup Forum}}
@STRING{tcs = {Theoret. Computer Sci.}}
@STRING{tsi = {Technique et Science Informatique}}
@STRING{frousak  = {Christiane Frougny and Jacques Sakarovitch}}
@STRING{js  = {Jacques Sakarovitch}}
@STRING{mps = {Marcel Paul Sch{\"u}tzenberger}}
@STRING{juka = {Juhani Karhum\"{a}ki}}
@STRING{ac = {Academic Press}}
@STRING{aw = {Addison-Wesley}}
@STRING{birk = {Birkh\"{a}user}}
@STRING{cup = {Cambridge University Press}}
@STRING{dnd = {Dunod}}
@STRING{els = {Elsevier}}
@STRING{gv = {Gauthier-Villars}}
@STRING{hrmnn = {Hermann}}
@STRING{jw = {John Wiley}}
@STRING{mgh = {McGraw-Hill}}
@STRING{mssn = {Masson}}
@STRING{nh = {North Holland}}
@STRING{oup = {Oxford University Press}}
@STRING{spri = {Springer}}
@STRING{tbnr = {Teubner}}
@STRING{vbrt = {Vuibert}}
@STRING{wosci = {World {S}cientific}}
@STRING{apa = {to appear}}
@STRING{tap = {to appear}}

@article{AalHoo89,
  author =	 {{I}J. J. Aalbersberg and Hendrick J. Hoogeboom},
  title =	 {Characterizations of the decidability of some
                  problems for regular trace languages},
  journal =	 mst,
  volume =	 20,
  pages =	 {1--19},
  year =	 1989,
}

@article{AalWelz86,
  author =	 {{IJ}. J. Aalbersberg and E. Welz},
  title =	 {Trace languages defined by regular string languages},
  journal =	 rairo,
  volume =	 22,
  pages =	 {103--119},
  year =	 1986,
}
@InCollectEdBook{Aho90,
   author =    {Alfred V. Aho},
   title =     {Algorithms for finding patterns in strings},
   booktitle = {Handbook of Theoretical Computer Science},
   publisher = els,
   crossref = {Leeu90Ed},
   editor = {Jan van Leeuwen},
   volume = {A},
   year =      1990,
   pages = {255--300},
}

@book{AhoHopcUllm74,
  author =	 {Alfred V. Aho and John E. Hopcroft and Jeffrey
                  D. Ullman},
  title =	 {The Design and Analysis of Computer Algorithms},
  publisher =	 aw,
  year =	 1974,
}

@book{AhoHopcUllm83,
  author =	 {Alfred V. Aho and John E. Hopcroft and Jeffrey
                  D. Ullman},
  title =	 {Data Structures and Algorithms},
  publisher =	 aw,
  year =	 1983,
}

@book{Alm94,
  author =	 {Jorge Almeida},
  title =	 {Finite Semigroups and Universal Algebra},
  publisher =	 wosci,
  year =	 1994,
}

@article{AniSei75,
  author =	 {A. W. Anisimov and F. D. Seifert},
  title =	 {Zur algebraischen {C}harakteristik der durch
                  kontext-freie {S}prachen definierten {G}ruppen},
  journal =	 eik,
  volume =	 11,
  pages =	 {695--702},
  year =	 1975,
}

@article{Anti96,
  author =	 {Valentin Antimirov},
  title =	 {Partial derivatives of regular expressions and
                  finite automaton constructions},
  journal =	 tcs,
  volume =	 155,
  pages =	 {291--319},
  year =	 1996,
}

@book{Arnxx,
  author =	 {Andr{\'e} Arnold},
  title =	 {Syst{\`e}mes de transitions finis et s{\'e}mantique
                  des processus communiquants},
  publisher =	 {Masson},
  year =	 1992,
  note =	 {Translation: \emph{Finite Transitions Systems},
                  Prentice-Hall, 1994},
}

@article{ArnDicANiva92,
  author =	 {Andr{\'e} Arnold and Anne Dicky and Maurice Nivat},
  title =	 {A note about minimal non-deterministic automata},
  journal =	 beatcs,
  volume =	 47,
  pages =	 {166--169},
  year =	 1992,
}

@article{ArnLat79,
  author =	 {Andr{\'e} Arnold and Michel Latteux},
  title =	 {A new proof of two theorems about rational
                  transductions},
  journal =	 tcs,
  volume =	 8,
  pages =	 {261--263},
  year =	 1979,
}

@article{AutBeau74,
  author =	 {Jean-Michel Autebert and Joffroy Beauquier},
  title =	 {Une caract\'{e}risation des g\'{e}n\'{e}rateurs
                  standard},
  journal =	 rairo,
  volume =	 8,
  pages =	 {63--83},
  year =	 1974,
}

@book{AutBoa88,
  author =	 {Jean-Michel Autebert and Luc Boasson},
  title =	 {Transductions rationnelles},
  publisher =	 {Masson},
  year =	 1988,
}

@article{AutBoaSeni87,
  author =	 {Jean-Michel Autebert and Luc Boasson and G\'{e}raud
                  S\'{e}nizergues},
  title =	 {Groups and {NTS} languages},
  journal =	 jcss,
  volume =	 35,
  pages =	 {243--267},
  year =	 1987,
}

@article{Avi61,
  author =	 {A. Avizienis},
  title =	 {Signed-digit number representations for fast
                  parallel arithmetic},
  journal =	 {{I}{R}{E} {T}ransactions on electronic computers},
  volume =	 10,
  pages =	 {389--400},
  year =	 1961,
}

@article{BarHPerlShamE61,
  author =	 {Yehoshua Bar-Hillel and M. Perles and Elie Shamir},
  title =	 {On formal properties of simple phrase structure
                  grammars},
  journal =	 {{Z}. {P}honetik {S}prachwiss.  {K}ommunikat.},
  volume =	 14,
  pages =	 {143--172},
  year =	 1961,
}
@CollectEdBook{Bar77,
   author =    {John Barwise},
   title =     {Handbook of {M}athematical {L}ogic},
   publisher = nh,
   year =      1977,
}

@book{Bea93,
  author =	 {Marie-Pierre B{\'e}al},
  title =	 {Codage symbolique},
  publisher =	 mssn,
  year =	 1993,
}

@article{BeaCart00,
  author =	 {Marie-Pierre B{\'e}al and Olivier Carton},
  title =	 {Computing the prefix of an automaton},
  journal =	 rairo,
  volume =	 34,
  pages =	 {503--514},
  year =	 2000,
}

@article{BeaCart02,
  author =	 {Marie-Pierre B{\'e}al and Olivier Carton},
  title =	 {Determinization of transducers over finite and
                  infinite words},
  journal =	 tcs,
  volume =	 289,
  pages =	 {225--251},
  year =	 2002,
}

@article{BeaCartPrie03,
  author =	 {Marie-Pierre B{\'e}al and Olivier Carton and
                  Christophe Prieur and Jacques Sakarovitch},
  title =	 {Squaring transducers},
  journal =	 tcs,
  volume =	 292,
  pages =	 {45--63},
  year =	 2003,
}
@InCollectEdBook{BeaPer97,
   author =    {Marie-Pierre B{\'e}al and Dominique Perrin},
   title =     {Symbolic dynamics and finite automata},
   crossref = {RozeSalo97Ed},
   booktitle = {Handbook of {F}ormal {L}anguages},
   publisher = els,
   editor = {Gregorz Rozenberg and Arto Salomaa},
   volume = 2,
   year =      1997,
   pages = {463--524},
}

@book{BeauBersChre92,
  author =	 {Dani\`{e}le Beauquier and Jean Berstel and Philippe
                  Chr\'{e}tienne},
  title =	 {\'{E}l\'{e}ments d'algorithmique},
  publisher =	 mssn,
  year =	 1992,
}

@article{Beno69,
  author =	 {Mich\`{e}le Benois},
  title =	 {Parties rationnelles du groupe libre},
  journal =	 cras,
  volume =	 269,
  pages =	 {1188--1190},
  year =	 1969,
}

@article{BenoSak86,
  author =	 {Mich\`{e}le Benois and Jacques Sakarovitch},
  title =	 {On the complexity of some extended word problems
                  defined by cancellation rules},
  journal =	 ipl,
  volume =	 23,
  pages =	 {281--287},
  year =	 1986,
}

@book{Berg70,
  author =	 {Claude Berge},
  title =	 {Graphes et hypergraphes},
  publisher =	 dnd,
  year =	 1970,
}

@article{BerrSeth86,
  author =	 {G\'{e}rard Berry and Ravi Sethi},
  title =	 {From regular expressions to deterministic automata},
  journal =	 tcs,
  volume =	 48,
  pages =	 {117--126},
  year =	 1986,
}

@book{Bers79,
  author =	 {Jean Berstel},
  title =	 {Transductions and {C}ontext-{F}ree {L}anguages},
  publisher =	 tbnr,
  year =	 1979,
}

@inProceedings{Bers82,
  author =	 {Jean Berstel},
  title =	 {Fonctions rationnelles et addition},
  booktitle =	 {{\'E}cole de printemps de th{\'e}orie des langages},
  editor =	 {M. Blab},
  publisher =	 {LITP},
  year =	 1982,
  pages =	 {177--183},
}

@book{BersPer85,
  author =	 {Jean Berstel and Dominique Perrin},
  title =	 {Theory of {C}odes},
  publisher =	 ac,
  year =	 1985,
}

@article{BersPin96,
  author =	 {Jean Berstel and Jean-Eric Pin},
  title =	 {Local languages and the {B}erry-{S}ethi algorithm},
  journal =	 tcs,
  volume =	 155,
  pages =	 {439--446},
  year =	 1996,
}

@book{BersReu84,
  author =	 {Jean Berstel and Christophe Reutenauer},
  title =	 {Les s{\'e}ries rationnelles et leurs langages},
  publisher =	 mssn,
  year =	 1984,
  note =	 {Translation: \emph{Rational Series and Their
                  Languages.} Springer, 1986.},
}
@InCollectEdBook{BertAlii85,
   author =    {Alberto Bertoni and Giancarlo Mauri and Nicoleta Sabadini},
   title =     {Unambiguous regular trace languages},
   booktitle = {Algebra, Combinatorics, and Logic in Computer
                Science},
   editor = {J. Demetrovics and G. Katona and A. Salomaa},
   series = {Math. Soc. Janos Bolyay},
   number = 42,
   publisher = nh,
   year =      1985,
}

@article{Bird73,
  author =	 {Michael Bird},
  title =	 {The equivalence problem for deterministic two-tape
                  automata},
  journal =	 jcss,
  volume =	 7,
  pages =	 {218--236},
  year =	 1973,
}

@book{Birk48,
  author =	 {Garrett Birkhoff},
  title =	 {Lattice {T}heory},
  publisher =	 {Amer. Math. Soc. Publications},
  year =	 1948,
}

@article{BlaHea77,
  author =	 {Mera Blattner and Tom Head},
  title =	 {Single valued $a$-transducers},
  journal =	 jcss,
  volume =	 7,
  pages =	 {310--327},
  year =	 1977,
}

@article{BlooEsik93,
  author =	 {S. L. Bloom and Zoltan {\'E}sik},
  title =	 {Matrix and matricial iteration theories, {I}},
  journal =	 jcss,
  volume =	 46,
  pages =	 {381--408},
  year =	 1993,
}

@phdThesis{Boa71,
  author =	 {Luc Boasson},
  title =	 {C\^{o}nes rationnels et familles agr\'{e}ables de
                  langages, {T}h\`{e}se 3\`{e}me cycle},
  school =	 {Univ. Paris 7},
  year =	 1971,
}

@book{BourAl56,
  author =	 {Nicolas Bourbaki},
  title =	 {Alg\`{e}bre},
  publisher =	 hrmnn,
  year =	 1956,
}

@article{Brug93,
  author =	 {Anna Br\"{u}gemann-Klein},
  title =	 {Regular expressions into finite automata},
  journal =	 tcs,
  volume =	 120,
  pages =	 {197--213},
  year =	 1993,
}

@article{BruyAlii94,
  author =	 {V{\'e}ronique Bruy{\`e}re and Georges Hansel and
                  Christian Michaux and Roger Villemaire},
  title =	 {Logic and $p$-recognizable sets of integers},
  journal =	 {Bull. Belg. Soc. Math.},
  volume =	 1,
  pages =	 {191--238},
  year =	 1994,
}

@article{BruyReu99,
  author =	 {V{\'e}ronique Bruy{\`e}re and Christophe Reutenauer},
  title =	 {A proof of {C}hoffrut's theorem on subsequential
                  functions},
  journal =	 tcs,
  volume =	 215,
  pages =	 {329--335},
  year =	 1999,
}

@InCollectEdBook{Brz63,
   author =    {John A. Brzozowski},
   title =     {Canonical regular expressions and minimal state
   graphs for definite events},
   booktitle = {Symposium on {M}athematical {T}heory of {A}utomata},
   pages =   {529--561},
   year =      1963,
   institution = {Polytechnic Institute of Brooklyn},
}

@article{Brz64,
  author =	 {John A. Brzozowski},
  title =	 {Derivatives of regular expressions},
  journal =	 jacm,
  volume =	 11,
  pages =	 {481--494},
  year =	 1964,
}

@InCollectEdBook{Brz80,
   author =    {John A. Brzozowski},
   title =     {Open problems about regular languages},
   booktitle = {Formal Language Theory, Perspectives and Open
                Problems},
   pages =   {23--47},
   editor = {Ronald V. Book},
   year =      1980,
   publisher = ac,
}

@article{BrzMCl63,
  author =	 {John A. Brzozowski and E. J. McCluskey},
  title =	 {Signal flow graph techniques for sequential circuit
                  state diagrams},
  journal =	 ieeetec,
  volume =	 12,
  pages =	 {67--76},
  year =	 1963,
}
@InCollectEdBook{Buch62,
   author =    {J. Richard B\"{u}chi},
   title =     {On a decision method in restricted second order
   arithmetic},
   booktitle = {Logic, Methodology and Philosophy of Science},
   pages = {1--11},
   year =      1962,
   editor = {E. Nagel and al.},
   note = {Reprinted in~\cite{Buch90}, pp.~425--435},
}

@article{Buch64,
  author =	 {J. Richard B\"{u}chi},
  title =	 {Regular canonical systems},
  journal =	 amlg,
  volume =	 6,
  pages =	 {91--111},
  year =	 1964,
  note =	 {Reprinted in~\cite{Buch90}, pp.~317--337},
}

@book{Buch90,
  author =	 {J. Richard B\"{u}chi},
  title =	 {The {C}ollected {W}orks},
  publisher =	 spri,
  year =	 1990,
  note =	 {Collected by S. McLane and D. Siefkes.},
}

@article{Burk69,
  author =	 {Hans-Dieter Burkhard},
  title =	 {{\"{U}}ber {E}xperimente an nicht-deterministischen
                  {A}utomaten},
  journal =	 eik,
  volume =	 5,
  pages =	 {347--376},
  year =	 1969,
  note =	 {Continued in {{\bf 6}} (1970), 3--14.},
}

@article{CardCroc80,
  author =	 {Alain Cardon and Maxime Crochemore},
  title =	 {D{\'e}termination de la repr{\'e}sentation standard
                  d'une s{\'e}rie reconnaissable},
  journal =	 rairo,
  volume =	 14,
  pages =	 {371--379},
  year =	 1980,
}
@InCollectEdBook{CaroFlou00,
   author =    {Pascal Caron and Marianne Flouret},
   title =     {Glushkov construction for multiplicities},
   booktitle = {Pre-Proceedings of CIAA'00},
   institution = {Univ. of Western Ontario},
   year =      2000,
   editor = {M. Daley and M. Eramian and S. Yu},
   pages = {52--61},
}

@unpublished{Carr70,
  author =	 {Christian Carrez},
  title =	 {On the minimalization of non-deterministic
                  automaton},
  year =	 1970,
  note =	 {Report of the {C}omputing {L}aboratory of the
                  {S}cience {F}aculty of {L}ille {U}niversity},
}

@article{CartPrixx,
  author =	 {Olivier Carton and Christophe Prieur},
  title =	 {How to decide functionality of rational relations on
                  infinite words},
  note =	 tap,
}

@unpublished{Cart94,
  author =	 {Olivier Carton},
  title =	 {Factorisations et morphismes},
  year =	 1994,
  note =	 {unpublished manuscript},
}

@book{Cau40,
  author =	 {Augustin Cauchy},
  title =	 {{\OE}uvres compl{\`e}tes, 1{\`e}re s{\'e}rie, Tome
                  V},
  publisher =	 {Gauthier-Villars},
  year =	 1892,
}

@article{dBr46,
  author =	 {N.G. de Bruijn},
  title =	 {A combinatorial problem},
  journal =	 {Proc. Nederl. Akad. Wetensch.},
  volume =	 49,
  pages =	 {758--764},
  year =	 1946,
  note =	 {In Dutch; published in English in {\em Indagationes
                  Math.}, vol.~8 (1946), 461--467.},
}
@InCollectEdBook{ChamZiad00,
   author =    {Jean-Marc Champarnaud and D. Ziadi},
   title =     {New finite automaton constructions based on canonical
   derivatives},
   booktitle = {Pre-Proceedings of CIAA'00},
   editor = {M.~Daley and M.~Eramian and S.~Yu},
   year =     2000,
   pages = {36--43},
}

@article{ChenFoxLyn58,
  author =	 {K. T. Chen and R. H. Fox and Roger Lyndon},
  title =	 {Free differential calculus {IV} -- {T}he quotient
                  groups of the lower central series},
  journal =	 {Ann. Math.},
  volume =	 68,
  pages =	 {81--95},
  year =	 1958,
}

@book{Chexx,
  author =	 {Claude Chevalley},
  title =	 {Fundamental concepts of algebra},
  publisher =	 {??},
  year =	 ??,
}

@article{Chof77,
  author =	 {Christian Choffrut},
  title =	 {Une caract\'{e}risation des fonctions
                  s\'{e}quentielles et des fonctions
                  sous-s\'{e}quentielles en tant que relations
                  rationnelles},
  journal =	 tcs,
  volume =	 5,
  pages =	 {325--337},
  year =	 1977,
}

@inProceedings{Chof79,
  author =	 {Christian Choffrut},
  title =	 {Une caract\'{e}risation des codes \`{a} d\'{e}lai
                  born\'{e} par leur fonction de d\'{e}codage},
  booktitle =	 {{\'{E}}cole de printemps de th\'{e}orie des codes},
  year =	 1979,
  editor =	 {Dominique Perrin},
  pages =	 {47--56},
  publisher =	 {LITP--ENSTA},
}

@inProceedings{Chof79b,
  author =	 {Christian Choffrut},
  title =	 {A generalization of {G}insburg and {R}ose's
                  characterization of g-s-m mappings},
  booktitle =	 {ICALP'79},
  year =	 1979,
  series =	 lncs,
  number =	 71,
  pages =	 {88--103},
}

@article{Chof03,
  author =	 {Christian Choffrut},
  title =	 {Minimizing subsequential transducers: a survey},
  journal =	 tcs,
  volume =	 292,
  pages =	 {131--143},
  year =	 2003,
}
@InCollectEdBook{ChofGrig99,
   author =    {Christian Choffrut and Serge Grigorieff},
   title =     {Uniformization of rational functions},
   booktitle = {Jewels are forever},
   publisher = spri,
   editor =    {Juhani Karhum\"{a}ki and Hermann Maurer and G.
                Pa\u{u}n and Gregorz Rozenberg},
   year =      1999,
   pages = {59--71},
}
@InCollectEdBook{ChofKar97,
   author =    {Christian Choffrut and Juhani Karhum\"{a}ki},
   title =     {Combinatoric on words},
   crossref = {RozeSalo97Ed},
   booktitle = {Handbook of Formal Languages},
   publisher = els,
   editor = {Gregorz Rozenberg and Arto Salomaa},
   volume = 1,
   year =      1997,
   pages = {329--438},
}

@article{ChomMill58,
  author =	 {Noam Chomsky and George A. Miller},
  title =	 {Finite state languages},
  journal =	 ic,
  volume =	 1,
  pages =	 {91--112},
  year =	 1958,
}
@InCollectEdBook{ChomSchut63,
   author =    {Noam Chomsky and Marcel Paul Sch{\"u}tzenberger},
   title =     {The algebraic theory of context-free languages},
   booktitle = {Computer {P}rogramming and {F}ormal {S}ystems},
   editor =    {Pierre Braffort and D. Hirschberg},
   publisher = nh,
   year =      1963,
}

@inProceedings{ChowRob78,
  author =	 {C.Y. Chow and J.E. Robertson},
  title =	 {Logical design of a redundant binary adder},
  booktitle =	 {4th {S}ymposium on {C}omputer {A}rithmetic},
  pages =	 {109--115},
  year =	 1978,
}

@article{Cobh69,
  author =	 {Alan Cobham},
  title =	 {On the base-dependance of the sets of numbers
                  recognizable by finite automata},
  journal =	 mst,
  volume =	 3,
  pages =	 {186--192},
  year =	 1969,
}

@article{CohR70,
  author =	 {Rinah Cohen},
  title =	 {Star height of certain families of regular events},
  journal =	 jcss,
  volume =	 4,
  pages =	 {281--297},
  year =	 1970,
}

@article{CohRBrz70,
  author =	 {Rinah Cohen and John A. Brzozowski},
  title =	 {General properties of star height of regular events},
  journal =	 jcss,
  volume =	 4,
  pages =	 {260--280},
  year =	 1970,
}

@book{CohnP74,
  author =	 {Paul M. Cohn},
  title =	 {Algebra},
  publisher =	 jw,
  year =	 1974,
  note =	 {2nd edition: vol.~I, 1982; vol.~II, 1989; vol.~III,
                  1991},
}

@book{Con71,
  author =	 {John H. Conway},
  title =	 {Regular {A}lgebra and {F}inite {M}achines},
  publisher =	 {Chapman and {H}all},
  year =	 1971,
}

@article{CourNiwiPode91,
  author =	 {Bruno Courcelle and Damian Niwinski and Andreas
                  Podelski},
  title =	 {A geometrical view of the determinization and
                  minimization of finite-state automata},
  journal =	 mst,
  volume =	 24,
  pages =	 {117--146},
  year =	 1991,
}

@book{CrocHancLecr01,
  author =	 {Maxime Crochemore and Christophe Hancart and Thierry
                  Lecroq},
  title =	 {Algorithmique du texte},
  publisher =	 vbrt,
  year =	 2001,
}

@article{CulKar86,
  author =	 {Karel Culik and Juhani Karhum{\"{a}ki}},
  title =	 {A note on the equivalence problem of rational power
                  series},
  journal =	 ipl,
  volume =	 23,
  pages =	 {29--31},
  year =	 1986,
}

@article{CulKarxx,
  author =	 {Karel Culik and Juhani Karhum{\"{a}ki}},
  title =	 {The equivalence of finite valued transducers on
                  {H}{D}{T}{O}{L} languages is decidable},
  journal =	 ipl,
  volume =	 23,
  pages =	 {29--31},
  year =	 1986,
}

@article{CulKar94,
  author =	 {Karel Culik and Juhani Karhum{\"{a}ki}},
  title =	 {Finite automata computing real functions},
  journal =	 siamc,
  volume =	 23,
  pages =	 {789--814},
  year =	 1994,
}

@book{Davi65,
  author =	 {M. Davis},
  title =	 {The {U}ndecidable},
  publisher =	 {Raven Press},
  year =	 1965,
}

@book{Deho93,
  author =	 {Patrick Dehornoy},
  title =	 {Complexit{\'e} et d{\'e}cidabilit{\'e}},
  publisher =	 spri,
  year =	 1993,
}

@article{DejSchut66,
  author =	 {Fran{\c{c}}oise Dejean and Marcel Paul
                  Sch{\"u}tzenberger},
  title =	 {On a question of {E}ggan},
  journal =	 ic,
  volume =	 9,
  pages =	 {23--25},
  year =	 1966,
}

@article{DereAlii94,
  author =	 {D. Derencourt and Juhani Karhum{\"{a}ki} and Michel
                  Latteux and Alain Terlutte},
  title =	 {On continuous functions computed by finite automata},
  journal =	 rairo,
  volume =	 28,
  pages =	 {387--408},
  year =	 1994,
}

@article{Dic13,
  author =	 {Leonard E. Dickson},
  title =	 {Finiteness of the odd perfect and primitive abundant
                  numbers with~$n$ distinct prime factors},
  journal =	 {Amer. J. Math.},
  volume =	 35,
  pages =	 {413--422},
  year =	 1913,
}

@book{Dies97,
  author =	 {Reinhard Diestel},
  title =	 {Graph {T}heory},
  publisher =	 spri,
  year =	 1997,
}

@article{Egg63,
  author =	 {L. C. Eggan},
  title =	 {Transition graphs and the star-height of regular
                  events},
  journal =	 {Michigan Math. J.},
  volume =	 10,
  pages =	 {385--397},
  year =	 1963,
}

@article{EhrHausRoz83,
  author =	 {A. Ehrenfeucht and D. Haussler and G. Rozenberg},
  title =	 {On regularity of context-free languages},
  journal =	 tcs,
  volume =	 27,
  pages =	 {311--332},
  year =	 1983,
}

@article{EhrPariRoz81,
  author =	 {A. Ehrenfeucht and R. Parikh and G. Rozenberg},
  title =	 {Pumping lemmas for regular sets},
  journal =	 siamc,
  volume =	 10,
  pages =	 {536--541},
  year =	 1981,
}

@book{Eil74,
  author =	 {Samuel Eilenberg},
  title =	 {Automata, Languages and Machines},
  volume =	 {A},
  publisher =	 ac,
  year =	 1974,
}

@book{Eil76,
  author =	 {Samuel Eilenberg},
  title =	 {Automata, Languages and Machines},
  volume =	 {B},
  publisher =	 ac,
  year =	 1976,
}

@article{EilSchut69,
  author =	 {Samuel Eilenberg and Marcel Paul Sch{\"u}tzenberger},
  title =	 {Rational sets in commutative monoids},
  journal =	 jalg,
  volume =	 13,
  pages =	 {173--191},
  year =	 1969,
}

@article{ElgMez65,
  author =	 {Calvin C. Elgot and John E. Mezei},
  title =	 {On relations defined by generalized finite automata},
  journal =	 {IBM J. Res. and Develop.},
  volume =	 9,
  pages =	 {47--68},
  year =	 1965,
}

@article{FisRos68,
  author =	 {P. C. Fischer and A. L. Rosenberg},
  title =	 {Multitape one-way nonwriting automata},
  journal =	 jcss,
  volume =	 2,
  pages =	 {88--101},
  year =	 1968,
}

@article{Flie70a,
  author =	 {Michel Fliess},
  title =	 {S\'{e}ries reconnaissables, rationnelles et
                  alg\'{e}briques},
  journal =	 {Bull. Sci. Math.},
  volume =	 94,
  pages =	 {231--239},
  year =	 1970,
}

@article{Flie70b,
  author =	 {Michel Fliess},
  title =	 {Transductions alg\'{e}briques},
  journal =	 rairo,
  volume =	 4,
  pages =	 {109--125},
  year =	 1970,
}

@article{Flie71,
  author =	 {Michel Fliess},
  title =	 {Deux applications de la repr\'{e}sentation
                  matricielle d'une s\'{e}rie non commutative},
  journal =	 jalg,
  volume =	 19,
  pages =	 {344--353},
  year =	 1971,
}

@article{Flie74,
  author =	 {Michel Fliess},
  title =	 {Matrices de {H}ankel},
  journal =	 {J. Math. Pures et Appl.},
  volume =	 53,
  pages =	 {197--222},
  year =	 1974,
  note =	 {Erratum in: vol.~54 (1975).},
}

@article{Flie74b,
  author =	 {Michel Fliess},
  title =	 {Sur divers produit de s\'{e}ries formelles},
  journal =	 {Bull. Soc. Math. France},
  volume =	 102,
  pages =	 {181--191},
  year =	 1974,
}

@article{FlouLaug97,
  author =	 {Marianne Flouret and Eric Laugerotte},
  title =	 {Noncommutative minimization algorithms},
  journal =	 ipl,
  volume =	 64,
  pages =	 {123--126},
  year =	 1997,
}

@article{Frou91,
  author =	 {Christiane Frougny},
  title =	 {Fibonacci representations and finite automata},
  journal =	 {{I}. {E}. {E}. {E}. {T}rans. {I}nform. {T}heory},
  volume =	 37,
  pages =	 {393--399},
  year =	 1991,
}

@article{Frou92,
  author =	 {Christiane Frougny},
  title =	 {Representation of numbers and finite automata},
  journal =	 mst,
  volume =	 25,
  pages =	 {37--60},
  year =	 1992,
}

@article{Frou99,
  author =	 {Christiane Frougny},
  title =	 {On-line finite automata for addition in some
                  numeration systems},
  journal =	 rairo,
  volume =	 33,
  pages =	 {79-101},
  year =	 1999,
}

@inProceedings{FrouSak91,
  author =	 frousak,
  title =	 {Rational relations with bounded delay},
  editor =	 {M.~Jantzen},
  booktitle =	 {STACS'91},
  series =	 lncs,
  number =	 480,
  year =	 1991,
  pages =	 {50--63},
}

@article{FrouSak93,
  author =	 frousak,
  title =	 {Synchronized relations of finite and infinite words},
  journal =	 tcs,
  volume =	 108,
  pages =	 {45--82},
  year =	 1993,
}

@article{FrouSakSchup89,
  author =	 {Christiane Frougny and Jacques Sakarovitch and Paul
                  E. Schupp},
  title =	 {Finiteness conditions on subgroups and formal
                  language theory},
  journal =	 plms,
  volume =	 58,
  pages =	 {74--88},
  year =	 1989,
}

@article{GibRyt86,
  author =	 {Alan Gibbons and W. Rytter},
  title =	 {On the decidability of some problems about rational
                  subsets of free partially commutative monoids},
  journal =	 tcs,
  volume =	 48,
  pages =	 {329--337},
  year =	 1986,
}

@book{Gin66,
  author =	 {Seymour Ginsburg},
  title =	 {The {M}athematical {T}heory of {C}ontext-{F}ree
                  {L}anguages},
  publisher =	 mgh,
  year =	 1966,
}

@article{GinSpa63,
  author =	 {Seymour Ginsburg and Edwin H. Spanier},
  title =	 {Quotients of context-free languages},
  journal =	 jacm,
  volume =	 10,
  pages =	 {487--492},
  year =	 1963,
}

@article{GinSpa64,
  author =	 {Seymour Ginsburg and Edwin H. Spanier},
  title =	 {Bounded {ALGOL}-like Languages},
  journal =	 {Trans. Amer. Math. Soc.},
  volume =	 113,
  pages =	 {333--368},
  year =	 1964,
}

@article{GinSpa66,
  author =	 {Seymour Ginsburg and Edwin H. Spanier},
  title =	 {Semigroups, {P}resburger formulas and languages},
  journal =	 {Pacif. J. Math.},
  volume =	 16,
  pages =	 {285--296},
  year =	 1966,
}

@article{Giv67,
  author =	 {Yehosaphat Give{'}on},
  title =	 {On some properties of the free monoids with
                  applications to automata theory},
  journal =	 jcss,
  volume =	 1,
  pages =	 {137--154},
  year =	 1967,
}

@article{Glus61,
  author =	 {V. M. Glushkov},
  title =	 {The abstract theory of automata},
  journal =	 {Russian {M}ath. {S}urveys},
  volume =	 16,
  pages =	 {1--53},
  year =	 1961,
}

@book{God70,
  author =	 {Roger Godement},
  title =	 {Alg{\`{e}}bre},
  publisher =	 hrmnn,
  year =	 1970,
}

@article{Goho85,
  author =	 {Philippe Gohon},
  title =	 {An algorithm to decide whether a rational subset
                  of~$\mathbb{N}^{k}$ is recognizable},
  journal =	 tcs,
  volume =	 41,
  pages =	 {51--59},
  year =	 1985,
}

@article{Gree60,
  author =	 {L. Greenberg},
  title =	 {Discrete groups of motions},
  journal =	 {Canad. J. Math.},
  volume =	 12,
  pages =	 {415-426},
  year =	 1960,
}

@book{Grev64,
  author =	 {Maurice Gr\'{e}visse},
  title =	 {Le bon usage},
  publisher =	 {J. Duculot},
  year =	 1964,
  note =	 {Eighth edition},
}

@article{Grie73,
  author =	 {David Gries},
  title =	 {Describing an algorithm by {H}opcroft},
  journal =	 af,
  volume =	 2,
  pages =	 {97--109},
  year =	 1973,
}

@article{Grif68,
  author =	 {T. V. Griffith},
  title =	 {The unsolvability of the equivalence problem for
                  $\lambda$-free nondeterministic generalized
                  machines},
  journal =	 jacm,
  volume =	 15,
  pages =	 {409--413},
  year =	 1968,
}

@book{GrossMLent67,
  author =	 {Maurice Gross and Andr{\'e} Lentin},
  title =	 {Introduction aux grammaires formelles},
  publisher =	 gv,
  year =	 1967,
}

@article{Hah07,
  author =	 {H. Hahn},
  title =	 {{\"U}ber die nicht archimedischen
                  {G}r{\"o}ssensysteme},
  journal =	 {Sitz. Akad. Wiss. Wien},
  volume =	 116,
  pages =	 {601--655},
  year =	 1907,
}

@article{Hain69,
  author =	 {Leonard H. Haines},
  title =	 {On free monoids partially ordered by divisibility},
  journal =	 {J. Comb. Theory},
  volume =	 6,
  pages =	 {94--98},
  year =	 1969,
}

@article{HarjKar91,
  author =	 {Tero Harju and Juhani Karhum\"{a}ki},
  title =	 {The equivalence problem of multitape finite
                  automata},
  journal =	 tcs,
  volume =	 78,
  pages =	 {347--355},
  year =	 1991,
}
@InCollectEdBook{HarjKar97,
   author =    {Tero Harju and Juhani Karhum\"{a}ki},
   title =     {Morphisms},
   booktitle = {Handbook of Formal Languages},
   crossref = {RozeSalo97Ed},
   publisher = els,
   editor = {Gregorz Rozenberg and Arto Salomaa},
   volume = 1,
   year =      1997,
   pages = {329--438},
}

@book{Harr74,
  author =	 {Michael Harrison},
  title =	 {Introduction to Formal Language Theory},
  publisher =	 aw,
  year =	 1974,
}

@article{Hash79,
  author =	 {Kosaburo Hashiguchi},
  title =	 {The star height of reset-free events and strictly
                  locally testable events},
  journal =	 ic,
  volume =	 78,
  pages =	 {167--184},
  year =	 1979,
}

@article{Hash79b,
  author =	 {Kosaburo Hashiguchi},
  title =	 {A decision procedure for the order of regular
                  events},
  journal =	 tcs,
  volume =	 8,
  pages =	 {69--72},
  year =	 1979,
}

@article{Hash82a,
  author =	 {Kosaburo Hashiguchi},
  title =	 {Limitedness theorem on finite automata with distance
                  functions},
  journal =	 jcss,
  volume =	 24,
  pages =	 {233--244},
  year =	 1982,
}

@article{Hash82b,
  author =	 {Kosaburo Hashiguchi},
  title =	 {Regular languages of star height one},
  journal =	 ic,
  volume =	 53,
  pages =	 {199--210},
  year =	 1982,
}

@article{Hash88,
  author =	 {Kosaburo Hashiguchi},
  title =	 {Algorithms for determining relative star height and
                  star height},
  journal =	 icm,
  volume =	 78,
  pages =	 {124--169},
  year =	 1988,
}

@article{Hash90,
  author =	 {Kosaburo Hashiguchi},
  title =	 {Improved limitedness theorem on finite automata with
                  distance functions},
  journal =	 tcs,
  volume =	 72,
  pages =	 {27--38},
  year =	 1990,
}

@article{Hig52,
  author =	 {G. Higman},
  title =	 {Ordering by divisibility in abstract algebra},
  journal =	 plms,
  volume =	 2,
  pages =	 {326--336},
  year =	 1952,
}
@InCollectEdBook{Hopc71,
   author =    {John E. Hopcroft},
   title =     {An $n \log n$ algorithm for minimizing states in
                a finite automaton},
   booktitle = {Theory of {M}achines and {C}omputations},
   editor =    {Z. Kohavi and Azaria Paz},
   publisher = ac,
   year =      1971,
}

@book{HopcUll69,
  author =	 {John E. Hopcroft and Jeffrey D. Ullman},
  title =	 {Formal {L}anguages and their {R}elation to
                  {A}utomata},
  publisher =	 aw,
  year =	 1969,
}

@book{HopcUll79,
  author =	 {John E. Hopcroft and Jeffrey D. Ullman},
  title =	 {Introduction to {A}utomata {T}heory, {L}anguages and
                  {C}omputation},
  publisher =	 aw,
  year =	 1979,
}

@book{HopcMotwUll00,
  author =	 {John E. Hopcroft and Rajeev Motwani and Jeffrey
                  D. Ullman},
  title =	 {Introduction to {A}utomata {T}heory, {L}anguages and
                  {C}omputation},
  publisher =	 aw,
  year =	 2000,
}

@book{Howi91,
  author =	 {John M. Howie},
  title =	 {Automata and Languages},
  publisher =	 oup,
  year =	 1991,
}

@article{Hows54,
  author =	 {A. G. Howson},
  title =	 {On the intersection of finitely generated free
                  groups},
  journal =	 jlms,
  volume =	 29,
  pages =	 {428--434},
  year =	 1954,
}

@article{Iba78a,
  author =	 {Oscar Ibarra},
  title =	 {Reversal-Bounded Multicounter Machines and their
                  Decisions Problems},
  journal =	 jacm,
  volume =	 25,
  pages =	 {116--133},
  year =	 1978,
}

@article{Iba78b,
  author =	 {Oscar Ibarra},
  title =	 {The unsolvability of the equivalence problem for
                  $\epsilon$-free {NGSM}'s with unary input (output)
                  alphabet and applications},
  journal =	 siamc,
  volume =	 7,
  pages =	 {524--532},
  year =	 1978,
}

@misc{Jac75,
  author =	 {G{\'e}rard Jacob},
  title =	 {Repr{\'e}sentations et substitutions matricielles
                  dans la th{\'e}orie alg{\'e}brique des
                  transductions},
  school =	 {Th{\`e}se Sci. Math. Univ. Paris VII},
  year =	 1975,
}

@article{Jac75b,
  author =	 {G{\'e}rard Jacob},
  title =	 {Sur un th{\'e}or{\`e}me de {S}hamir},
  journal =	 ic,
  volume =	 27,
  pages =	 {218--261},
  year =	 1975,
}

@book{Jaco52,
  author =	 {Nathan Jacobson},
  title =	 {Lectures in {A}bstract {A}lgebra},
  publisher =	 spri,
  year =	 1952,
}

@article{Jaf78,
  author =	 {J. Jaffe},
  title =	 {A necessary and sufficient pumping lemma for regular
                  languages},
  journal =	 {Sigact {N}ews},
  pages =	 {48--49},
  year =	 1978,
}

@article{Joh86,
  author =	 {Howard J. Johnson},
  title =	 {Rational equivalence relations},
  journal =	 tcs,
  volume =	 47,
  pages =	 {39--60},
  year =	 1986,
}
@InCollectEdBook{Kle56,
   author =    {S. C. Kleene},
   title =     {Representation of events in nerve nets and finite automata},
   booktitle = {Automata Studies},
   editor = {C. Shannon and John McCarthy},
   publisher = {Princeton Univ. Press},
   year =      1956,
   pages = {3--41},
}

@article{Kob69,
  author =	 {Kojihiro Kobayashi},
  title =	 {Classification of formal languages by functional
                  binary transductions},
  journal =	 ic,
  volume =	 15,
  pages =	 {95--109},
  year =	 1969,
}

@article{Kon32,
  author =	 {D. K\"{o}nig},
  title =	 {Egy v\'{e}ssegi t\'{e}tel \'{e}s alkalm\'{a}zasai},
  journal =	 {Mathematikai \'{e}s Fisikai Lapok},
  volume =	 39,
  pages =	 {27--29},
  year =	 1932,
  note =	 {In Hungarian, with a summary in German},
}

@book{Kon36,
  author =	 {D. K\"{o}nig},
  title =	 {Theorie der endlichen und unendlichen {G}raphen},
  publisher =	 {Akademie Verlagsgesellschaft, Leipzig},
  year =	 1936,
  note =	 {Reprinted by Chelsea, 1950; English translation,
                  {Birkh\"{a}user}, 1990},
}

@inProceedings{Koz91,
  author =	 {Dexter Kozen},
  title =	 {A completeness theorem for Kleene algebras and the
                  algebra of regular events},
  booktitle =	 {LICS'91},
  year =	 1991,
  pages =	 {214--225},
}

@book{Koz97,
  author =	 {Dexter Kozen},
  title =	 {Automata and {C}omputability},
  publisher =	 spri,
  year =	 1997,
}

@article{Krob91,
  author =	 {Daniel Krob},
  title =	 {Complete systems of {B}-rational identities},
  journal =	 tcs,
  volume =	 89,
  pages =	 {207--343},
  year =	 1991,
}

@article{Krob92,
  author =	 {Daniel Krob},
  title =	 {Differentiation of {K}-rational expressions},
  journal =	 ijac,
  volume =	 2,
  pages =	 {57--87},
  year =	 1992,
}

@article{KroRho6x,
  author =	 {Kenneth B. Krohn and John L. Rhodes},
  title =	 {Algebraic {T}heory of {M}achines {I}},
  journal =	 {Trans. Amer. Math. Soc.},
  volume =	 116,
  pages =	 {450--464},
  year =	 1968,
}

@article{Krus72,
  author =	 {J. B. Kruskal},
  title =	 {The theory of well quasi-ordering: a frequently
                  discovered concept},
  journal =	 {J. Comb. Theory, Ser. A},
  volume =	 13,
  pages =	 {297--305},
  year =	 1972,
}

@inProceedings{Kui87,
  author =	 {Werner Kuich},
  title =	 {The {K}leene and {P}arikh theorem in complete
                  semirings},
  booktitle =	 {ICALP'87},
  series =	 lncs,
  number =	 267,
  year =	 1987,
  pages =	 {212--225},
}
@InCollectEdBook{KuiEsik01,
   author =    {Werner Kuich and Zoltan {\'E}sik},
   title =     {Inductive $*$-semirings},
   booktitle = {Words, {L}anguages and {C}ombinatorics {III}},
   editor = {Masami Ito},
   publisher = wosci,
   year =      2003,
   note = apa,
}

@book{KuiSal86,
  author =	 {Werner Kuich and Arto Salomaa},
  title =	 {Semirings, {A}utomata, {L}anguages},
  publisher =	 spri,
  year =	 1986,
}

@book{Lal79,
  author =	 {G\'{e}rard Lallement},
  title =	 {Semigroups and {C}ombinatorial {A}pplications},
  publisher =	 jw,
  year =	 1979,
}

@book{Lan65,
  author =	 {Serge Lang},
  title =	 {Algebra},
  publisher =	 aw,
  year =	 1965,
  note =	 {Third edition, 1980},
}

@article{Lat78,
  author =	 {Michel Latteux},
  title =	 {Mots infinis et langages commutatifs},
  journal =	 rairo,
  volume =	 12,
  pages =	 {185--192},
  year =	 1978,
}
@InCollectEdBook{Leeu90,
   author =    {Jan van Leeuwen},
   title =     {Graph algorithms},
   booktitle = {Handbook of Theoretical Computer Science},
   crossref = {Leeu90Ed},
   publisher = els,
   editor = {Jan van Leeuwen},
   volume = {A},
   year =      1990,
   pages = {525--631},
}

@article{Leg81,
  author =	 {Jeannine Leguy},
  title =	 {Transductions rationnelles d\'{e}croissantes},
  journal =	 rairo,
  volume =	 15,
  pages =	 {141--148},
  year =	 1981,
}

@article{Levi30,
  author =	 {F. W. Levi},
  title =	 {\"{U}ber die {U}ntergruppen der freie {G}ruppen,
                  {I}},
  journal =	 {Math. Z.},
  volume =	 32,
  pages =	 {315--318},
  year =	 1930,
}

@article{Levi44,
  author =	 {F. W. Levi},
  title =	 {On semigroups},
  journal =	 {Bull. Calcutta Math. Soc.},
  volume =	 36,
  pages =	 {141--146},
  year =	 1944,
  note =	 {and \textbf{38} 1946, 123--124},
}

@book{LindMarc95,
  author =	 {Douglas Lind and Brian Marcus},
  title =	 {An {I}ntroduction to {S}ymbolic {D}ynamics and
                  {C}oding},
  publisher =	 cup,
  year =	 1995,
}

@article{Lis79,
  author =	 {L. P. Lisovik},
  title =	 {The identity problem for regular events over the
                  direct product of free and cyclic semigroups},
  journal =	 {Dokl. Akad. Nauk Ukrainskoj RSR ser. A},
  volume =	 6,
  pages =	 {410--413},
  year =	 1979,
  note =	 {In Ukrainian; an English translation by Andreas
                  Weber circulates in manuscript.},
}

@inProceedings{Lomb02a,
  author =	 {Sylvain Lombardy},
  title =	 {On the construction of reversible automata for
                  reversible languages},
  booktitle =	 {ICALP'02},
  series =	 lncs,
  number =	 2380,
  pages =	 {170--182},
  year =	 2002,
}
@InCollectEdBook{LombSak01b,
   author =    {Sylvain Lombardy and Jacques Sakarovitch},
   title =     {On the star height of rational languages},
   booktitle = {Words, {L}anguages and {C}ombinatorics {III}},
   editor = {Masami Ito},
   publisher = {World Scientific},
   year =      2003,
   note = apa,
}

@inProceedings{LombSak02a,
  author =	 {Sylvain Lombardy and Jacques Sakarovitch},
  title =	 {Star height of reversible languages and universal
                  automata},
  editor =	 {Sergio Rajsbaum},
  series =	 lncs,
  number =	 2286,
  pages =	 {76--90},
  booktitle =	 {LATIN'02},
  year =	 2002,
}

@inProceedings{LombSak02b,
  author =	 {Sylvain Lombardy and Jacques Sakarovitch},
  title =	 {Derivation of rational expressions with
                  multiplicity},
  series =	 lncs,
  number =	 2420,
  pages =	 {471--482},
  booktitle =	 {MFCS'02},
  year =	 2002,
}

@book{Lot83,
  author =	 {M. Lothaire},
  title =	 {Combinatorics on {W}ords},
  publisher =	 aw,
  year =	 1983,
  note =	 {Reprint: Cambridge University Press, 1997},
}

@book{Lot02,
  author =	 {M. Lothaire},
  title =	 {Algebraic {C}ombinatorics on {W}ords},
  publisher =	 cup,
  year =	 2002,
}

@book{LynSchup77,
  author =	 {Roger C. Lyndon and Paul E. Schupp},
  title =	 {Combinatorial {G}roup {T}heory},
  publisher =	 spri,
  year =	 1977,
}

@book{MagKarSol66,
  author =	 {Wilhelm Magnus and A. Karass and Donald Solitar},
  title =	 {Combinatorial {G}roup {T}heory},
  publisher =	 jw,
  year =	 1966,
}

@article{Malcxx,
  author =	 {A. I. Malcev},
  title =	 {On the embedding of monoids in groups ??},
  journal =	 {Doklady Akad. Nauk SSSR (N. S.)??},
  volume =	 {??},
  pages =	 {ww--zz},
  year =	 {19xx},
}

@article{Malc48,
  author =	 {A. I. Malcev},
  title =	 {On the embedding of group algebras in division
                  algebras},
  journal =	 {Dokl. Akad. Nauk SSSR (N. S.)},
  volume =	 60,
  pages =	 {1409--1501},
  year =	 1948,
  note =	 {In Russian},
}

@article{MCulPit43,
  author =	 {Warren Mc{C}ulloch and Walter Pitts},
  title =	 {A logical calculus of the ideas immanent in nervous
                  activity},
  journal =	 {Bull. Math. Biophysics},
  volume =	 5,
  pages =	 {115--133},
  year =	 1943,
}

@book{MLane71,
  author =	 {Saunders Mc{L}ane},
  title =	 {Categories for the {W}orking {M}athematician},
  publisher =	 spri,
  year =	 1971,
}

@article{MNau67,
  author =	 {Robert Mc{N}aughton},
  title =	 {The loop complexity of pure-group events},
  journal =	 ic,
  volume =	 11,
  pages =	 {167--176},
  year =	 1967,
}

@article{MNauYam60,
  author =	 {Robert Mc{N}aughton and Hisao Yamada},
  title =	 {Regular expressions and state graphs for automata},
  journal =	 iretec,
  volume =	 9,
  pages =	 {39-47},
  year =	 1960,
}
@InCollectEdBook{Metxx,
   author =    {Michel M{\'e}tivier},
   title =     {The Theory of Traces},
   chapter =   6,
   publisher = nh,
   year =      1996,
}

@article{Meal55,
  author =	 {G. H. Mealy},
  title =	 {A method for synthesizing sequential circuits},
  journal =	 {Bell Syst. Tech. J.},
  volume =	 34,
  pages =	 {1045--1079},
  year =	 1955,
}

@article{MKni64,
  author =	 {J. Mc{K}night},
  title =	 {Kleene's quotient theorems},
  journal =	 {Pacific J. Math.},
  volume =	 14,
  pages =	 {43--52},
  year =	 1964,
}

@book{MitchB65,
  author =	 {B. Mitchell},
  title =	 {Theory of {C}ategories},
  publisher =	 ac,
  year =	 1965,
}

@inBook{Moo56,
  author =	 {E. F. Moore},
  title =	 {Gedanken experiments on sequential machines},
  booktitle =	 {Automata Studies},
  editor =	 {C. Shannon and John McCarthy},
  publisher =	 {Princeton Univ. Press},
  year =	 1956,
  pages =	 {129--156},
}

@inProceedings{Mohri94,
  author =	 {Mehryar Mohri},
  title =	 {Minimization of sequential transducers},
  booktitle =	 {ICALP'94},
  series =	 lncs,
  number =	 807,
  pages =	 {151--163},
  year =	 1994,
}

@article{Mohri97,
  author =	 {Mehryar Mohri},
  title =	 {Finite-state transducers in language and speech
                  processing},
  journal =	 {Comput. Linguistics},
  volume =	 23,
  pages =	 {269--311},
  year =	 1997,
}

@article{Mohri00,
  author =	 {Mehryar Mohri},
  title =	 {Minimization algorithms for sequential transducers},
  journal =	 tcs,
  volume =	 234,
  pages =	 {177--201},
  year =	 2000,
}

@book{Mul89,
  author =	 {Jean-Michel Muller},
  title =	 {Arithm{\'e}tique des ordinateurs},
  publisher =	 mssn,
  year =	 1989,
}

@article{Mul94,
  author =	 {Jean-Michel Muller},
  title =	 {Some characterizations of functions computable in
                  on-line arithmetic},
  journal =	 {{I}. {E}. {E}. {E}. {T}rans. on {C}omputers},
  volume =	 43,
  pages =	 {752--755},
  year =	 1994,
}

@article{NashW63,
  author =	 {C. St. Nash-{W}illiams},
  title =	 {On well-quasi-ordering finite trees},
  journal =	 pcps,
  pages =	 {833--835},
  year =	 1963,
}

@book{NavaRaff02,
  author =	 {Gonzalo Navarro and Mathieu Raffinot},
  title =	 {Flexible {P}attern {M}atching in {S}trings},
  publisher =	 cup,
  year =	 2002,
}

@article{Neu49a,
  author =	 {B. H. Neumann},
  title =	 {On ordered division ring},
  journal =	 {Trans. Amer. Math. Soc.},
  volume =	 66,
  pages =	 {202--252},
  year =	 1949,
}

@article{Neu49b,
  author =	 {B. H. Neumann},
  title =	 {On ordered groups},
  journal =	 {Amer. J. Math.},
  volume =	 71,
  pages =	 {1--18},
  year =	 1949,
}

@article{Niva68,
  author =	 {Maurice Nivat},
  title =	 {Transductions des langages de {C}homsky},
  journal =	 {Ann. Inst. Fourier ({G}renoble)},
  volume =	 18,
  pages =	 {339--455},
  year =	 1968,
}

@article{Niva71,
  author =	 {Maurice Nivat},
  title =	 {Congruences de {T}hue et {$t$}-langages},
  journal =	 {Studia Sci. Math. Hungar.},
  volume =	 6,
  pages =	 {243--249},
  year =	 1971,
}

@book{Pasc77,
  author =	 {Blaise Pascal},
  title =	 {{\OE}uvres compl{\`e}tes},
  publisher =	 {Seuil},
  year =	 1963,
  note =	 {The treatise \emph{De numeris multiplicibus},
                  written with the other arithmetical treatises before
                  1654, was published by {G}uillaume {D}esprez in
                  1665.},
}

@article{Pelxx,
  author =	 {H. P{\'e}libossian},
  title =	 {On the linearity of on-line computable functions},
  journal =	 tcs,
  volume =	 {??},
  pages =	 {??},
  year =	 {??},
}

@article{PellSak99,
  author =	 {Maryse Pelletier and Jacques Sakarovitch},
  title =	 {On the representation of finite deterministic 2-tape
                  automata},
  journal =	 tcs,
  volume =	 225,
  pages =	 {1--63},
  year =	 1999,
}

@article{Per85,
  author =	 {Dominique Perrin},
  title =	 {Ehrenfeucht conjecture},
  journal =	 beatcs,
  volume =	 27,
  pages =	 {71--82},
  year =	 1985,
}
@InCollectEdBook{Per90,
   author =    {Dominique Perrin},
   title =     {Finite automata},
   booktitle = {Handbook of Theoretical Computer Science},
   publisher = els,
   crossref = {Leeu90Ed},
   editor = {Jan van Leeuwen},
   volume = {B},
   year =      1990,
   pages = {1--53},
}

@article{Per93,
  author =	 {Dominique Perrin},
  title =	 {Les d{\'e}buts de la th{\'e}orie des automates},
  journal =	 tsi,
  volume =	 14,
  pages =	 {409--443},
  year =	 1995,
}

@book{Pin86,
  author =	 {Jean-Eric Pin},
  title =	 {Vari{\'e}t{\'e}s de langages formels},
  publisher =	 mssn,
  year =	 1984,
  note =	 {Translation: \emph{Varieties of {F}ormal
                  {L}anguages}, Oxford University Press, 1986},
}

@inProceedings{Pin92,
  author =	 {Jean-Eric Pin},
  title =	 {On reversible automata},
  booktitle =	 {LATIN'92},
  series =	 lncs,
  number =	 583,
  year =	 1992,
  editor =	 {Imre Simon},
  pages =	 {401-416},
}
@InCollectEdBook{Pin97,
   author =    {Jean-Eric Pin},
   title =     {Syntactic monoids},
   crossref = {RozeSalo97Ed},
   booktitle = {Handbook of Formal Languages},
   publisher = els,
   editor = {Gregorz Rozenberg and Arto Salomaa},
   volume = 1,
   year =      1997,
   pages = {679--746},
}

@article{PinSak85,
  author =	 {Jean-Eric Pin and Jacques Sakarovitch},
  title =	 {Une application de la repr\'{e}sentation matricielle
                  des transductions},
  journal =	 tcs,
  volume =	 35,
  pages =	 {271--293},
  year =	 1985,
  note =	 {In English as: Some operations and transductions
                  that preserve rationality, \emph{in: Proc. 6th
                  G.I. Conf. on Theoret. Comput.  Sci.}, {\sl Lecture
                  Notes in Comput. Sci.}, vol.~145 (1982), 277--288.},
}

@article{PinStraTher92,
  author =	 {Jean-Eric Pin and Howard Straubing and Denis
                  Th\'{e}rien},
  title =	 {Some results on the generalized star-height problem},
  journal =	 icm,
  volume =	 101,
  pages =	 {219--250},
  year =	 1992,
}

@book{Pipp97,
  author =	 {Nicholas Pippenger},
  title =	 {Theories of {C}omputability},
  publisher =	 cup,
  year =	 1997,
}

@article{RabSco59,
  author =	 {Michael O. Rabin and Dana Scott},
  title =	 {Finite automata and their decision problems},
  journal =	 {I.B.M. J. Res. Develop.},
  volume =	 3,
  pages =	 {125--144},
  year =	 1959,
  note =	 {Reprinted in {\em Sequential Machines : Selected
                  Papers} (E. Moore, ed.), Addison-Wesley, 1965.},
}

@article{Ram28,
  author =	 {F. P. Ramsey},
  title =	 {On a problem of formal logic},
  journal =	 plms,
  volume =	 30,
  pages =	 {338--384},
  year =	 1928,
}

@article{Ran58,
  author =	 {George Raney},
  title =	 {Sequential functions},
  journal =	 jacm,
  volume =	 5,
  pages =	 {177--180},
  year =	 1958,
}

@book{Red65,
  author =	 {L. Redei},
  title =	 {The {T}heory of {F}initely {G}enerated {C}ommutative
                  {S}emigroups},
  publisher =	 {Pergamon {P}ress},
  year =	 1965,
}

@article{Redk64,
  author =	 {V. N. Redko},
  title =	 {On defining relations for the algebra of regular
                  events},
  journal =	 {Ukrain. Math. {\v{Z}}.},
  volume =	 16,
  pages =	 {120--126},
  year =	 1964,
  note =	 {In Russian},
}

@article{RestReu84,
  author =	 {Antonio Restivo and Christophe Reutenauer},
  title =	 {On cancellation properties of languages which are
                  support of rational series},
  journal =	 jcss,
  volume =	 29,
  pages =	 {153--159},
  year =	 1984,
}

@inProceedings{Reu79,
  author =	 {Christophe Reutenauer},
  title =	 {Sur les vari\'{e}t\'{e}s de langages et de
                  mono\"{\i}des},
  series =	 lncs,
  number =	 67,
  year =	 1979,
  pages =	 {260--265},
}

@inProceedings{Reu90,
  author =	 {Christophe Reutenauer},
  title =	 {Subsequential functions: characterizations,
                  minimization, examples},
  booktitle =	 {IMYCS'90},
  series =	 lncs,
  number =	 464,
  year =	 1990,
  pages =	 {62--79},
}

@book{Reu93,
  author =	 {Christophe Reutenauer},
  title =	 {Free {L}ie {A}lgebras},
  publisher =	 oup,
  year =	 1993,
}

@article{ReuSchut91,
  author =	 {Christophe Reutenauer and Marcel Paul
                  Sch{\"u}tzenberger},
  title =	 {Minimization of rational word functions},
  journal =	 siamc,
  volume =	 20,
  pages =	 {669--685},
  year =	 1991,
}

@article{Rich28,
  author =	 {A. R. Richardson},
  title =	 {Simultaneous linear equations over a division
                  algebra},
  journal =	 plms,
  volume =	 28,
  pages =	 {395--420},
  year =	 1928,
}

@book{RochSchab97,
  author =	 {Emmanuel Roche and Yves Schabes},
  title =	 {Finite-state {L}anguage {P}rocessing},
  publisher =	 {MIT Press},
  year =	 1997,
}

@article{Ros67,
  author =	 {A. L. Rosenberg},
  title =	 {A machine realization of the linear context-free
                  languages},
  journal =	 {Inform. and Control},
  volume =	 10,
  pages =	 {175--188},
  year =	 1967,
}

@inProceedings{Rutt99,
  author =	 {Jan M. Rutten},
  title =	 {Automata, power series, and coinduction: taking
                  input derivatives seriously},
  booktitle =	 {ICALP'99},
  editor =	 {J. Wiedermann and P. van Emde Boas and M. Nielsen},
  series =	 lncs,
  number =	 1644,
  pages =	 {645--654},
  year =	 1999,
}

@article{Rutt03,
  author =	 {Jan M. Rutten},
  title =	 {Behavioural differential equations: a coinductive
                  calculus of streams, automata, and power series},
  journal =	 tcs,
  note =	 apa,
}

@article{Sak79,
  author =	 js,
  title =	 {Mono{\"{\i}}des point{\'e}s},
  journal =	 sgf,
  volume =	 18,
  pages =	 {235--264},
  year =	 1979,
}

@inProceedings{Sak79b,
  author =	 js,
  title =	 {Un th{\'e}or{\`e}me de transversale rationnelle pour
                  les automates {\`a} pile d{\'e}terministes},
  booktitle =	 {4th G.I. Conference on Theoret. Comput. Sci.},
  editor =	 {K. Weihrauch},
  series =	 lncs,
  number =	 67,
  pages =	 {276--285},
  year =	 1979,
}

@article{Sak81,
  author =	 js,
  title =	 {Description des mono{\"\i}des de type fini},
  journal =	 eik,
  volume =	 17,
  pages =	 {417--434},
  year =	 1981,
}

@article{Sak83,
  author =	 js,
  title =	 {Deux remarques sur un th{\'e}or{\`e}me de
                  {S}. {E}ilenberg},
  journal =	 rairo,
  volume =	 17,
  pages =	 {23--48},
  year =	 1983,
}

@article{Sak84,
  author =	 js,
  title =	 {A problem on rational subsets of the free group},
  journal =	 {Amer. {M}ath. {M}onthly},
  volume =	 91,
  pages =	 {499--501},
  year =	 1984,
}

@article{Sak87,
  author =	 js,
  title =	 {On regular trace languages},
  journal =	 tcs,
  volume =	 52,
  pages =	 {59--75},
  year =	 1987,
}

@inProceedings{Sak92,
  author =	 js,
  title =	 {The ``last'' decision problem for rational trace
                  languages},
  booktitle =	 {LATIN'92},
  year =	 1992,
  editor =	 {Imre Simon},
  series =	 lncs,
  number =	 583,
  pages =	 {460--473},
}

@article{Sak98,
  author =	 js,
  title =	 {A construction on automata that has remained hidden},
  journal =	 tcs,
  volume =	 204,
  pages =	 {205--231},
  year =	 1998,
}

@article{SakNisKob84,
  author =	 {Jacques Sakarovitch and Taishin Nishida and Youichi
                  Kobuchi},
  title =	 {Recurrent words for substitutions},
  journal =	 mst,
  volume =	 17,
  pages =	 {199--215},
  year =	 1984,
}

@book{SakxM84,
  author =	 {Michel Sakarovitch},
  title =	 {Optimisation combinatoire},
  volume =	 "Graphes et programmation lin{\'e}aire",
  publisher =	 hrmnn,
  year =	 1984,
}

@article{Sal64,
  author =	 {Arto Salomaa},
  title =	 {Two complete axiom systems for the algebra of
                  regular events},
  journal =	 jacm,
  volume =	 13,
  pages =	 {158--169},
  year =	 1964,
}

@book{Sal81,
  author =	 {Arto Salomaa},
  title =	 {Jewels of {F}ormal {L}anguage {T}heory},
  publisher =	 {Computer {S}cience {P}ress},
  year =	 1981,
}

@book{SalSoi77,
  author =	 {Arto Salomaa and Matti Soitttola},
  title =	 {Automata-Theoretic Aspects of Formal Power Series},
  publisher =	 spri,
  year =	 1977,
}

@article{Schut61,
  author =	 mps,
  title =	 {A remark on finite transducers},
  journal =	 ic,
  volume =	 4,
  pages =	 {381--388},
  year =	 1961,
}

@inProceedings{Schut62a,
  author =	 mps,
  title =	 {Certain elementary families of automata},
  booktitle =	 {Symposium on Mathematical Theory of Automata},
  year =	 1962,
  pages =	 {139--153},
  institution =	 {Polytechnic Institute of Brooklyn},
}

@article{Schut62b,
  author =	 mps,
  title =	 {On a theorem of {R}. {J}ungen},
  journal =	 {Proc. Amer. Math. Soc.},
  volume =	 13,
  pages =	 {885--889},
  year =	 1962,
}

@unpublished{Schut67,
  author =	 mps,
  title =	 {Quelques propri{\'e}t{\'e}s combinatoires de la
                  th{\'e}orie des automates},
  note =	 {Lecture notes taken by {J}ean-{F}ran{\c c}ois
                  {P}errot, 1968},
}

@inProceedings{Schut70,
  author =	 mps,
  title =	 {Parties rationnelles d'un mono{\"{\i}}de libre},
  booktitle =	 {International Mathematics Conference},
  year =	 1970,
  pages =	 {281--282},
}

@inProceedings{Schut75,
  author =	 mps,
  title =	 {Sur les relations rationnelles},
  booktitle =	 {Automata Theory and Formal Languages},
  year =	 1975,
  editor =	 {H. Brackhage},
  series =	 lncs,
  number =	 33,
  pages =	 {209--213},
}

@article{Schut76,
  author =	 mps,
  title =	 {Sur les relations rationnelles entre mono\"{\i}des
                  libres},
  journal =	 tcs,
  volume =	 3,
  pages =	 {243--259},
  year =	 1976,
}

@article{Schut77,
  author =	 mps,
  title =	 {Sur une variante des fonctions s{\'e}quentielles},
  journal =	 tcs,
  volume =	 4,
  pages =	 {47--57},
  year =	 1977,
}

@article{Schut77b,
  author =	 mps,
  title =	 {Une propri{\'e}t{\'e} de {H}ankel des relations
                  rationnelles entre mono\"{\i}des libres},
  journal =	 aim,
  volume =	 24,
  pages =	 {274--280},
  year =	 1977,
}

@book{SchwL65,
  author =	 {Laurent Schwartz},
  title =	 {M{\'e}thodes math{\'e}matiques pour la physique},
  publisher =	 hrmnn,
  year =	 1965,
}

@article{SeifMNau76,
  author =	 {J. I. Seiferas and Robert Mc{N}aughton},
  title =	 {Regularity preserving relations},
  journal =	 tcs,
  volume =	 2,
  pages =	 {147--154},
  year =	 1976,
}

@article{Seni96,
  author =	 {G\'{e}raud S\'{e}nizergues},
  title =	 {On the rational subsets of the free group},
  journal =	 af,
  volume =	 33,
  pages =	 {281--296},
  year =	 1996,
}

@article{Sham67,
  author =	 {Eliahou Shamir},
  title =	 {A representation theorem for algebraic and
                  context-free power series in non commuting
                  variables},
  journal =	 ic,
  volume =	 11,
  pages =	 {239--254},
  year =	 1967,
}
@CollectEdBook{ShanMCar56,
   author =    {C. Shannon and John McCarthy},
   title =     {Automata Studies},
   publisher = {Princeton University Press},
   year =      1956,
}

@article{Shep59,
  author =	 {J. C. Shepherdson},
  title =	 {The reduction of two-way automata to one-way
                  automata},
  journal =	 {I.B.M. J. Res. Develop.},
  volume =	 3,
  pages =	 {198--200},
  year =	 1959,
}

@unpublished{Silv03,
  author =	 {Pedro V. Silva},
  title =	 {Free group languages: rational versus recognizable},
  note =	 apa,
}

@inProceedings{SimI78,
  author =	 {Imre Simon},
  title =	 {Limited subsets of a free monoid},
  booktitle =	 {FOCS'78},
  pages =	 {143--150},
  year =	 1978,
}

@inProceedings{SimI88,
  author =	 {Imre Simon},
  title =	 {Recognizable sets with multiplicities in the
                  tropical semiring},
  booktitle =	 {MFCS'88},
  editor =	 {Chytil and Janiga and Koubek},
  series =	 lncs,
  number =	 324,
  pages =	 {107--120},
  year =	 1988,
}

@article{Sont75,
  author =	 {E. D. Sontag},
  title =	 {On some questions of rationality and decidability},
  journal =	 jcss,
  volume =	 11,
  pages =	 {375--385},
  year =	 1975,
}

@article{Stal83,
  author =	 {J.R. Stallings},
  title =	 {Topology of finite graphs},
  journal =	 {Inventiones Math.},
  volume =	 71,
  pages =	 {551--565},
  year =	 1983,
}

@book{Star72,
  author =	 {P. Starke},
  title =	 {Abstract {A}utomata},
  publisher =	 nh,
  year =	 1972,
  note =	 {Translated from \emph{Abstrakte Automaten}, VEB,
                  1969},
}

@article{SteaHart63,
  author =	 {R. E. Stearns and Juris Hartmanis},
  title =	 {Regularity preserving modifications of regular
                  expressions},
  journal =	 ic,
  volume =	 6,
  pages =	 {55--66},
  year =	 1963,
}
@InCollectEdBook{Thom88,
   author =    {Wolfgang Thomas},
   title =     {Automata and quantifier hierarchies},
   booktitle = {Formal {P}roperties of {F}inite {A}utomata and
                {A}pplications},
   editor = {Jean-Eric Pin},
   series = lncs,
   number = 386,
   pages = {104--119},
   year =      1988,
}

@article{ThompK68,
  author =	 {Kenneth Thompson},
  title =	 {Regular expression search algorithm},
  journal =	 cacm,
  volume =	 11,
  pages =	 {419--422},
  year =	 1968,
}

@article{TriErc77,
  author =	 {K.S. Trivedi and M.D. Ercegovac},
  title =	 {On line algorithms for division and multiplication},
  journal =	 {{I}. {E}. {E}. {E}. {T}rans. on {C}omputers},
  volume =	 26,
  pages =	 {681--687},
  year =	 1977,
}

@article{Val74,
  author =	 {Leslie G. Valiant},
  title =	 {The equivalence problem for deterministic
                  finite-turn pushdown automata},
  journal =	 {Inform. and Control},
  volume =	 25,
  pages =	 {123--133},
  year =	 1974,
}

@article{Vays86,
  author =	 {Odile Vaysse},
  title =	 {Addition molle et fonctions $p$-locales},
  journal =	 sgf,
  volume =	 34,
  pages =	 {157--175},
  year =	 1986,
}

@inProceedings{Webe92,
  author =	 {Andreas Weber},
  title =	 {Decomposing a $k$-valued transducer into $k$
                  unambiguous ones},
  booktitle =	 {LATIN'92},
  year =	 1992,
  editor =	 {Imre Simon},
  series =	 lncs,
  number =	 583,
  pages =	 {503--515},
}

@article{WebeKlem95,
  author =	 {Andreas Weber and R. Klemm},
  title =	 {Economy of description for single-valued
                  transducers},
  journal =	 icm,
  volume =	 118,
  pages =	 {327--340},
  year =	 1995,
}

@book{Woo87,
  author =	 {Derick Wood},
  title =	 {Theory of {C}omputation},
  publisher =	 jw,
  year =	 1987,
}

@article{Yeh79,
  author =	 {Amiram Yehudai},
  title =	 {A note on the pumping lemma for regular languages},
  journal =	 ipl,
  volume =	 9,
  pages =	 {135--136},
  year =	 1979,
}

@InCollectEdBook{Yu97,
   author =    {Sheng Yu},
   title =     {Regular languages},
   booktitle = {Handbook of Formal Languages},
   crossref = {RozeSalo97Ed},
   publisher = els,
   editor = {Gregorz Rozenberg and Arto Salomaa},
   volume = 1,
   year =      1997,
   pages = {41--111},
}
@CollectEdBook{Leeu90Ed,
   author = {Jan van Leeuwen},
   title = {Handbook of Theoretical Computer Science},
   publisher = els,
   year =      1990,
   note =   {Vol.~A and~B}
}
@CollectEdBook{RozeSalo97Ed,
   author = {Gregorz Rozenberg and Arto Salomaa},
   title = {Handbook of Formal Languages},
   publisher = els,
   year =      1997,
   note =   {Vol.~1, 2 and~3}
}
