%%
%% WinShell 3.3.0.3
%% http://www.winshell.org/
%%

% Strings

% BibTeX Entries

@book{GodementTheorieDesFaisceaux,
    AUTHOR = {Godement, Roger},
     TITLE = {Topologie alg{\'{e}}brique et th{\'{e}}orie des faisceaux},
    SERIES = {Actualit{\'{e}}s Sci. Ind. No. 1252. Publ. Math. Univ.
              Strasbourg. No. 13},
 PUBLISHER = {Hermann},
   ADDRESS = {Paris},
      YEAR = 1958,
     PAGES = {viii+283},
   MRCLASS = {55.00},
  MRNUMBER = {0102797 (21 \#1583)},
MRREVIEWER = {R. Deheuvels},
}

@article{ArensTopologyForSpacesOfTransformations,
    AUTHOR = {Arens, Richard F.},
     TITLE = {A topology for spaces of transformations},
   JOURNAL = {Ann. of Math. (2)},
  FJOURNAL = {Annals of Mathematics. Second Series},
    VOLUME = {47},
      YEAR = 1946,
     PAGES = {480--495},
      ISSN = {0003-486X},
   MRCLASS = {56.0X},
  MRNUMBER = {0017525 (8,165e)},
MRREVIEWER = {J. Dieudonn{\'e}},
} 


@book{AwodeyCategoryTheory,
    AUTHOR = {Awodey, Steve},
     TITLE = {Category theory},
    SERIES = {Oxford Logic Guides},
    VOLUME = {52},
   EDITION = {Second},
 PUBLISHER = {Oxford University Press},
   ADDRESS = {Oxford},
      YEAR = 2010,
     PAGES = {xvi+311},
      ISBN = {978-0-19-923718-0},
   MRCLASS = {18-01 (03G30 18A25)},
  MRNUMBER = {2668552 (2011g:18001)},
}

@book{ArnoldRandomDS,
    AUTHOR = {Arnold, Ludwig},
     TITLE = {Random dynamical systems},
    SERIES = {Springer Monographs in Mathematics},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = 1998,
     PAGES = {xvi+586},
      ISBN = {3-540-63758-3},
   MRCLASS = {37Hxx (37-02 60H10)},
  MRNUMBER = {1723992 (2000m:37087)},
MRREVIEWER = {Yuri Kifer},
}

@book{Devaney,
    AUTHOR = {Devaney, Robert L.},
     TITLE = {An introduction to chaotic dynamical systems},
    SERIES = {Addison-Wesley Studies in Nonlinearity},
   EDITION = {Second},
 PUBLISHER = {Addison-Wesley Publishing Company Advanced Book Program},
   ADDRESS = {Redwood City, CA},
      YEAR = 1989,
     PAGES = {xviii+336},
      ISBN = {0-201-13046-7},
   MRCLASS = {58F13 (34C35 54H20)},
  MRNUMBER = {1046376 (91a:58114)},
}

@article{Banks,
    AUTHOR = {Banks, J. and Brooks, J. and Cairns, G. and Davis, G. and
              Stacey, P.},
     TITLE = {On {D}evaney's definition of chaos},
   JOURNAL = {Amer. Math. Monthly},
  FJOURNAL = {The American Mathematical Monthly},
    VOLUME = {99},
      YEAR = 1992,
    NUMBER = {4},
     PAGES = {332--334},
      ISSN = {0002-9890}
}

@article{cats,
    AUTHOR = {Ad{\'a}mek, Ji{\v{r}}{\'{\i}} and Herrlich, Horst and
              Strecker, George E.},
     TITLE = {Abstract and concrete categories: the joy of cats},
      NOTE = {Reprint of the 1990 original [Wiley, New York; MR1051419]},
   JOURNAL = {Repr. Theory Appl. Categ.},
  FJOURNAL = {Reprints in Theory and Applications of Categories},
    NUMBER = {17},
      YEAR = 2006,
     PAGES = {1--507 (electronic)},
      ISSN = {1201-561X},
   MRCLASS = {18-02 (08C05 18A20 18B30 54B30)},
  MRNUMBER = {MR2240597},
}

@book{BergerChaosAndChance,
     AUTHOR = {Berger, Arno},
      TITLE = {Chaos and chance},
     SERIES = {de Gruyter Textbook},
       NOTE = {An introduction to stochastic aspects of dynamics},
  PUBLISHER = {Walter de Gruyter \& Co.},
    ADDRESS = {Berlin},
       YEAR = 2001,
      PAGES = {x+245},
       ISBN = {3-11-016991-6},
    MRCLASS = {37A05 (28A80 28D05 37A50 37C05 37D45 60G50 60J10)},
   MRNUMBER = {1868729 (2002j:37003)},
 MRREVIEWER = {M. L. Blank},
 }

@article{BergerSiegmundOnTheGapBetweenRDSAndContinuousSkewProducts,
    AUTHOR = {Berger, Arno and Siegmund, Stefan},
     TITLE = {On the gap between random dynamical systems and continuous
              skew products},
   JOURNAL = {J. Dynam. Differential Equations},
  FJOURNAL = {Journal of Dynamics and Differential Equations},
    VOLUME = {15},
      YEAR = 2003,
    NUMBER = {2-3},
     PAGES = {237--279},
      ISSN = {1040-7294},
     CODEN = {JDDEEH},
   MRCLASS = {37H05 (37A05 37B55)},
  MRNUMBER = {2046719 (2005b:37112)},
MRREVIEWER = {Bj{\"o}rn Schmalfuss},
       DOI = {10.1023/B:JODY.0000009736.39445.c4},
       URL = {http://dx.doi.org/10.1023/B:JODY.0000009736.39445.c4},
}

@article{BehKerkhoffSchneiderSiegmundChaoticGroupActionsOnHausdorffSpaces,
 author   = {Schneider, Friedrich Martin and Kerkhoff,
             Sebastian and Behrisch, Mike and Siegmund,
             Stefan},
 title    = {Locally compact groups admitting faithful
             strongly chaotic actions on {H}ausdorff
             spaces},
 journal  = {Int. J. of Bifurcation and Chaos},
 fjournal = {International Journal of Bifurcation and Chaos},
 volume   = {23},
 number   = {09},
 year     = 2013,
 month    = sep,
 pages    = {135--158},
 doi      = {10.1142/S0218127413501587},
 note     = {10.1142/S0218127413501587},
 URL      = {http://www.worldscientific.com/doi/abs/10.1142/S0218127413501587},
 eprint   = {http://www.worldscientific.com/doi/pdf/10.1142/S0218127413501587}
 } 

@article{BoehmBrzWisb_MonComon,
    AUTHOR = {B{\"o}hm, Gabriella and Brzezi{\'n}ski, Tomasz and Wisbauer,
              Robert},
     TITLE = {Monads and comonads on module categories},
   JOURNAL = {J. Algebra},
  FJOURNAL = {Journal of Algebra},
    VOLUME = {322},
      YEAR = 2009,
    NUMBER = {5},
     PAGES = {1719--1747},
      ISSN = {0021-8693},
     CODEN = {JALGA4},
   MRCLASS = {16D90 (16T05 16T15)},
  MRNUMBER = {2543632 (2010j:16017)},
MRREVIEWER = {Blas Torrecillas Jover},
       DOI = {10.1016/j.jalgebra.2009.06.003},
       URL = {http://dx.doi.org/10.1016/j.jalgebra.2009.06.003},
}

@book{BogachevMeasureTheory,
    AUTHOR = {Bogachev, Vladimir I.},
     TITLE = {Measure theory. {V}ol. {I}, {II}},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = 2007,
     PAGES = {Vol. I: xviii+500 pp., Vol. II: xiv+575},
      ISBN = {978-3-540-34513-8; 3-540-34513-2},
   MRCLASS = {28-02 (28Axx 28Cxx 46G12 60G42 60G44)},
  MRNUMBER = {2267655 (2008g:28002)},
MRREVIEWER = {Ren{\'e} L. Schilling},
       DOI = {10.1007/978-3-540-34514-5},
       URL = {http://dx.doi.org/10.1007/978-3-540-34514-5},
}

@article{NyikosMetrizabilityFrechetUrysohnPropTopGrp,
    AUTHOR = {Nyikos, Peter J.},
     TITLE = {Metrizability and the {F}r\'echet-{U}rysohn property in
              topological groups},
   JOURNAL = {Proc. Amer. Math. Soc.},
  FJOURNAL = {Proceedings of the American Mathematical Society},
    VOLUME = {83},
      YEAR = 1981,
    NUMBER = {4},
     PAGES = {793--801},
      ISSN = {0002-9939},
     CODEN = {PAMYAR},
   MRCLASS = {54E35},
  MRNUMBER = {630057 (82k:54049)},
MRREVIEWER = {B. T. Sims},
       DOI = {10.2307/2044256},
       URL = {http://dx.doi.org/10.2307/2044256},
}

@article{EilenbergMoore_AdjointFunctorsTriples,
    AUTHOR = {Eilenberg, Samuel and Moore, John C.},
     TITLE = {Adjoint functors and triples},
   JOURNAL = {Illinois J. Math.},
  FJOURNAL = {Illinois Journal of Mathematics},
    VOLUME = {9},
      YEAR = 1965,
     PAGES = {381--398},
      ISSN = {0019-2082},
   MRCLASS = {18.10},
  MRNUMBER = {0184984 (32 \#2455)},
MRREVIEWER = {P. J. Huber},
}

@article{GlasnerEnvelopingSemigroupsInTopologicalDynamics,
    AUTHOR = {Glasner, Eli},
     TITLE = {Enveloping semigroups in topological dynamics},
   JOURNAL = {Topology Appl.},
  FJOURNAL = {Topology and its Applications},
    VOLUME = {154},
      YEAR = 2007,
    NUMBER = {11},
     PAGES = {2344--2363},
      ISSN = {0166-8641},
     CODEN = {TIAPD9},
   MRCLASS = {37B05 (43A60 46B22 54H20)},
  MRNUMBER = {2328017 (2008f:37021)},
MRREVIEWER = {Konstantin Medynets},
       DOI = {10.1016/j.topol.2007.03.009},
       URL = {http://dx.doi.org/10.1016/j.topol.2007.03.009},
}

@article{NerurkarErgodicContinuousSkewProductActions,
    AUTHOR = {Nerurkar, Mahesh G.},
     TITLE = {Ergodic continuous skew product actions of amenable groups},
   JOURNAL = {Pacific J. Math.},
  FJOURNAL = {Pacific Journal of Mathematics},
    VOLUME = {119},
      YEAR = 1985,
    NUMBER = {2},
     PAGES = {343--363},
      ISSN = {0030-8730},
     CODEN = {PJMAAI},
   MRCLASS = {28D15 (28A51)},
  MRNUMBER = {803124 (86m:28011)},
MRREVIEWER = {G. R. Goodson},
       URL = {http://projecteuclid.org/getRecord?id=euclid.pjm/1102706160},
}

@book{Boto-nicht-Bodo,
    AUTHOR = {von Querenburg, Boto},
     TITLE = {Mengentheoretische {T}opologie},
   EDITION = {Second},
      NOTE = {Hochschultext. [University Text]},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = 1979,
     PAGES = {x+209},
      ISBN = {3-540-09799-6},
   MRCLASS = {54-01},
  MRNUMBER = {639901 (83d:54002)},
}

@book{Hedlund,
    AUTHOR = {Gottschalk, Walter Helbig and Hedlund, Gustav Arnold},
     TITLE = {Topological dynamics},
    SERIES = {American Mathematical Society Colloquium Publications, Vol.
              36},
 PUBLISHER = {American Mathematical Society},
   ADDRESS = {Providence, R. I.},
      YEAR = 1955,
     PAGES = {vii+151},
   MRCLASS = {56.0X},
  MRNUMBER = {0074810 (17,650e)},
MRREVIEWER = {Y. N. Dowker},
}

@article{MillerAlmostPeriodicity,
    AUTHOR = {Miller, Alica},
     TITLE = {Almost periodicity and discrete almost periodicity in
              semiflows},
   JOURNAL = {Math. Commun.},
  FJOURNAL = {Mathematical Communications},
    VOLUME = {16},
      YEAR = 2011,
    NUMBER = {2},
     PAGES = {447--453},
      ISSN = {1331-0623},
   MRCLASS = {37Bxx (54H20)},
  MRNUMBER = {2900767},
}

@book{Katok,
    AUTHOR = {Katok, Anatole and Hasselblatt, Boris},
     TITLE = {Introduction to the modern theory of dynamical systems},
    SERIES = {Encyclopedia of Mathematics and its Applications},
    VOLUME = {54},
      NOTE = {With a supplementary chapter by Katok and Leonardo Mendoza},
 PUBLISHER = {Cambridge University Press},
   ADDRESS = {Cambridge},
      YEAR = 1995,
     PAGES = {xviii+802},
      ISBN = {0-521-34187-6},
   MRCLASS = {58Fxx (34Cxx 34Dxx 58-01 58F11 58F15)},
  MRNUMBER = {1326374 (96c:58055)},
MRREVIEWER = {Edoh Amiran},
}

@book{ColoniusKliemannDynamicsOfControl,
    AUTHOR = {Colonius, Fritz and Kliemann, Wolfgang},
     TITLE = {The dynamics of control},
    SERIES = {Systems \& Control: Foundations \& Applications},
      NOTE = {With an appendix by Lars Gr{\"u}ne},
 PUBLISHER = {Birkh{\"a}user Boston Inc.},
   ADDRESS = {Boston, MA},
      YEAR = 2000,
     PAGES = {xii+629},
      ISBN = {0-8176-3683-8},
   MRCLASS = {93-02 (34D08 34H05 37N35 47D06 47N70 49-02 93B29)},
  MRNUMBER = {1752730 (2001e:93001)},
MRREVIEWER = {Kevin A. Grasse},
       DOI = {10.1007/978-1-4612-1350-5},
       URL = {http://dx.doi.org/10.1007/978-1-4612-1350-5},
}

@book{Sell71TopDynODE,
    AUTHOR = {Sell, George R.},
     TITLE = {Topological dynamics and ordinary differential equations},
      NOTE = {Van Nostrand Reinhold Mathematical Studies, No. 33},
 PUBLISHER = {Van Nostrand Reinhold Co.},
   ADDRESS = {London},
      YEAR = 1971,
     PAGES = {ix+199},
   MRCLASS = {54H20 (34C35 58F10)},
  MRNUMBER = {0442908 (56 \#1283)},
MRREVIEWER = {W. Utz},
}

@article{RuttenUniversalCoalgebra,
    AUTHOR = {Rutten, Jan J. M. M.},
     TITLE = {Universal coalgebra: a theory of systems},
      NOTE = {Modern algebra and its applications (Nashville, TN, 1996)},
   JOURNAL = {Theoret. Comput. Sci.},
  FJOURNAL = {Theoretical Computer Science},
    VOLUME = {249},
      YEAR = {2000},
    NUMBER = {1},
     PAGES = {3--80},
      ISSN = {0304-3975},
     CODEN = {TCSDI},
   MRCLASS = {68Q55 (08A02 68Q65 68Q85)},
  MRNUMBER = {1791953 (2002f:68106)},
MRREVIEWER = {Stephen L. Bloom},
       DOI = {10.1016/S0304-3975(00)00056-6},
       URL = {http://dx.doi.org/10.1016/S0304-3975(00)00056-6},
}

@book{WillardGeneralTopologyReprint,
    AUTHOR = {Willard, Stephen},
     TITLE = {General topology},
      NOTE = {Reprint of the 1970 original [Addison-Wesley, Reading, MA;
              MR0264581]},
 PUBLISHER = {Dover Publications Inc.},
    SERIES = {Addison-Wesley series in mathematics},
   ADDRESS = {Mineola, NY},
      YEAR = 2004,
     PAGES = {xii+369},
      ISBN = {0-486-43479-6},
      lccn = {2003068793},
   MRCLASS = {54-02 (01A75)},
  MRNUMBER = {2048350},
}

@book{WillardGeneralTopology,
    AUTHOR = {Willard, Stephen},
     TITLE = {General topology},
 PUBLISHER = {Addison-Wesley Publishing Co., Reading, Mass.-London-Don
              Mills, Ont.},
      YEAR = 1970,
     PAGES = {xii+369},
   MRCLASS = {54.00},
  MRNUMBER = {0264581 (41 \#9173)},
MRREVIEWER = {C. W. Kohls},
}

@article{ArbibManesMachinesExpository,
    AUTHOR = {Arbib, Michael A. and Manes, Ernest G.},
     TITLE = {Machines in a category: an expository introduction},
   JOURNAL = {SIAM Rev.},
  FJOURNAL = {SIAM Review},
    VOLUME = 16,
      YEAR = 1974,
     PAGES = {163--192},
      ISSN = {0036-1445},
   MRCLASS = {94A30},
  MRNUMBER = {0363719 (50 \#16156)},
MRREVIEWER = {H. D. Block},
}

@article{ArbibManesMachinesInACat,
    AUTHOR = {Arbib, Michael A. and Manes, Ernest G.},
     TITLE = {Machines in a category},
   JOURNAL = {J. Pure Appl. Algebra},
  FJOURNAL = {Journal of Pure and Applied Algebra},
    VOLUME = 19,
      YEAR = 1980,
     PAGES = {9--20},
      ISSN = {0022-4049},
   MRCLASS = {68D30 (01A60 18B20 68D15 93Bxx)},
  MRNUMBER = {593243 (82i:68037)},
       DOI = {10.1016/0022-4049(80)90090-0},
       URL = {http://dx.doi.org/10.1016/0022-4049(80)90090-0},
}

@article{AkinGlasnerTopDyn,
    AUTHOR = {Akin, Ethan and Glasner, Eli},
     TITLE = {Residual properties and almost equicontinuity},
   JOURNAL = {J. Anal. Math.},
  FJOURNAL = {Journal d'Analyse Math\'ematique},
    VOLUME = 84,
      YEAR = 2001,
     PAGES = {243--286},
      ISSN = {0021-7670},
     CODEN = {JOAMAV},
   MRCLASS = {37B05},
  MRNUMBER = {1849204 (2002f:37020)},
MRREVIEWER = {Fran{\c{c}}ois Blanchard},
       DOI = {10.1007/BF02788112},
       URL = {http://dx.doi.org/10.1007/BF02788112},
}

@article{AkinHurleyKennedyTopDyn,
    AUTHOR = {Akin, Ethan and Hurley, Mike and Kennedy, Judy A.},
     TITLE = {Dynamics of topologically generic homeomorphisms},
   JOURNAL = {Mem. Amer. Math. Soc.},
  FJOURNAL = {Memoirs of the American Mathematical Society},
    VOLUME = {164},
      YEAR = 2003,
    NUMBER = 783,
     PAGES = {viii+130},
      ISSN = {0065-9266},
     CODEN = {MAMCAU},
   MRCLASS = {37B20 (54H20)},
  MRNUMBER = {1980335 (2004j:37024)},
MRREVIEWER = {V. S. Prasad},
       DOI = {10.1090/memo/0783},
       URL = {http://dx.doi.org/10.1090/memo/0783},
}

@incollection{ThomasAutomataOnInfiniteObjects,
    AUTHOR = {Thomas, Wolfgang},
     TITLE = {Automata on infinite objects},
 BOOKTITLE = {Handbook of theoretical computer science, {V}ol.\ {B}},
     PAGES = {133--191},
 PUBLISHER = {Elsevier},
   ADDRESS = {Amsterdam},
      YEAR = {1990},
   MRCLASS = {68Q68},
  MRNUMBER = {1127189},
   SUBJECT = {Infinite state transition systems},
}

@incollection{ThomasReachabilityOverInfiniteGraphs,
    AUTHOR = {Thomas, Wolfgang},
     TITLE = {The Reachability Problem over Infinite Graphs},
 BOOKTITLE = {Computer Science - Theory and Applications},
    VOLUME = {5675},
    SERIES = {Lecture Notes in Computer Science},
    EDITOR = {Frid, Anna and Morozov, Andrey and Rybalchenko, Andrey and 
              Wagner, Klaus W.},
     PAGES = {12--18},
 PUBLISHER = {Springer},
   ADDRESS = {Berlin, Heidelberg},
      YEAR = {2009},
      ISBN = {978-3-642-03350-6},
       DOI = {10.1007/978-3-642-03351-3_2},
       URL = {http://dx.doi.org/10.1007/978-3-642-03351-3_2},
   SUBJECT = {Infinite state transition systems},
}

@inproceedings{ThomasAutomataTheoryOnInfiniteTransitionSystems,
    AUTHOR = {Thomas, Wolfgang},
     TITLE = {Automata theory and infinite transition systems},
 BOOKTITLE = {Pre\-pro\-ceed\-ings of {EMS} {S}ummer {S}chool {CANT} 2006,
              Pr{\'e}\-pub\-li\-ca\-tion 06.002},
     PAGES = {1--25},
 PUBLISHER = {In\-sti\-tut de Ma\-th{\'e}\-ma\-ti\-ques,
             Uni\-ver\-si\-t{\'e} de Li{\`e}ge},
      YEAR = {2006},
     MONTH = may, 
   SUBJECT = {Infinite state transition systems},
}

@article{EsparzaDecidabilityOfModelCheckingForInfiniteStateConcSystems,
    AUTHOR = {Esparza, Javier},
     TITLE = {Decidability of model checking for infinite-state concurrent
              systems},
   JOURNAL = {Acta Inform.},
  FJOURNAL = {Acta Informatica},
    VOLUME = {34},
      YEAR = {1997},
    NUMBER = {2},
     PAGES = {85--107},
      ISSN = {0001-5903},
     CODEN = {AINFA2},
   MRCLASS = {68Q10 (68Q05 68Q60 68Q90)},
  MRNUMBER = {1465032 (98h:68070)},
MRREVIEWER = {R{\"u}diger Valk},
       DOI = {10.1007/s002360050074},
       URL = {http://dx.doi.org/10.1007/s002360050074},
  language = {English},
   SUBJECT = {Infinite state transition systems, {P}etri nets},
}

@article{RabinDecidabilityMSOInfTrees,
    AUTHOR = {Rabin, Michael O.},
     TITLE = {Decidability of second-order theories and automata on infinite
              trees. },
   JOURNAL = {Trans. Amer. Math. Soc.},
  FJOURNAL = {Transactions of the American Mathematical Society},
    VOLUME = {141},
      YEAR = {1969},
     PAGES = {1--35},
      ISSN = {0002-9947},
   MRCLASS = {02.32},
  MRNUMBER = {0246760 (40 \#30)},
MRREVIEWER = {Walter Oberschelp},
   SUBJECT = {Infinite state transition systems},
}

@article{KripkeSemanticalConsiderationsOnMondalLogic,
    AUTHOR = {Kripke, Saul Aaron},
     TITLE = {Semantical considerations on modal logic},
   JOURNAL = {Acta Philos. Fenn. Fasc.},
  FJOURNAL = {Acta Philosophica Fennica},
    VOLUME = {16},
      YEAR = {1963},
     PAGES = {83--94},
      ISSN = {0355-1792},
   MRCLASS = {02.27},
  MRNUMBER = {0170800 (30 \#1035)},
MRREVIEWER = {A. Rose},
   SUBJECT = {{K}ripke structures},
}

@book{MinskyFiniteInfiniteMachines,
    AUTHOR = {Minsky, Marvin L.},
     TITLE = {Computation: finite and infinite machines},
      NOTE = {Prentice-Hall Series in Automatic Computation},
 PUBLISHER = {Prentice-Hall Inc.},
   ADDRESS = {Englewood Cliffs, N.J.},
      YEAR = 1967,
     PAGES = {xvii+317},
   MRCLASS = {68A25},
  MRNUMBER = {0356580 (50 \#9050)},
MRREVIEWER = {A. Salomaa},
   SUBJECT = {Infinite state transition systems},
}


@article{MinskyTuringMachines,
    AUTHOR = {Minsky, Marvin L.},
     TITLE = {Recursive unsolvability of {P}ost's problem of ``tag'' and
              other topics in theory of {T}uring machines},
   JOURNAL = {Ann. of Math. (2)},
  FJOURNAL = {Annals of Mathematics. Second Series},
    VOLUME = 74,
      YEAR = 1961,
    NUMBER = 3,
     MONTH = nov, 
     PAGES = {437--455},
      ISSN = {0003-486X},
   MRCLASS = {02.82},
  MRNUMBER = {0140405 (25 \#3825)},
MRREVIEWER = {R. M. Baer},
       URL = {http://www.jstor.org/stable/1970290},
   SUBJECT = {{T}uring machines},
}

@incollection{KleeneAutomata,
    AUTHOR = {Kleene, Stephen Cole},
     TITLE = {Representation of events in nerve nets and finite automata},
 BOOKTITLE = {Automata studies},
    SERIES = {Annals of mathematics studies, no. 34},
     PAGES = {3--41},
 PUBLISHER = {Princeton University Press},
   ADDRESS = {Princeton, N. J.},
      YEAR = {1956},
   MRCLASS = {02.0X},
  MRNUMBER = {0077478 (17,1040c)},
MRREVIEWER = {C. Y. Lee},
   SUBJECT = {Automata},
}


@article{RabinScottSyntacticMonoid,
    AUTHOR = {Rabin, Michael O. and Scott, Dana S.},
     TITLE = {Finite automata and their decision problems},
   JOURNAL = {IBM J. Res. Develop.},
  FJOURNAL = {International Business Machines Corporation. Journal of
              Research and Development},
    VOLUME = {3},
      YEAR = {1959},
     PAGES = {114--125},
      ISSN = {0018-8646},
   MRCLASS = {93.00 (02.00)},
  MRNUMBER = {0103795 (21 \#2559)},
MRREVIEWER = {J. McCarthy},
   SUBJECT = {Automata},
}

@article{SchutzenbergerSyntacticMonoid,
    AUTHOR = {Sch{\"u}tzenberger, Marcel-Paul},
     TITLE = {On finite monoids having only trivial subgroups},
   JOURNAL = {Information and Control},
  FJOURNAL = {Information and Computation},
    VOLUME = {8},
      YEAR = {1965},
     PAGES = {190--194},
      ISSN = {0890-5401},
   MRCLASS = {94.40},
  MRNUMBER = {0176883 (31 \#1154)},
MRREVIEWER = {L. C. Eggan},
   SUBJECT = {Automata},
}

@book{McNaughtonStarFreeLanguages,
    AUTHOR = {McNaughton, Robert and Papert, Seymour},
     TITLE = {Counter-free automata},
      NOTE = {With an appendix by William Henneman,
              M.I.T. Research Monograph, No. 65},
 PUBLISHER = {The M.I.T. Press, Cambridge, Mass.-London},
      YEAR = 1971,
     PAGES = {xix+163},
   MRCLASS = {94A30 (68A25)},
  MRNUMBER = {0371538 (51 \#7756)},
MRREVIEWER = {Richard L. Tenney},
   SUBJECT = {Automata},
}

@book{DrosteKuichVoglerHandbookOfWeightedAutomata,
     TITLE = {Handbook of weighted automata},
    SERIES = {Monographs in Theoretical Computer Science. An EATCS Series},
    EDITOR = {Droste, Manfred and Kuich, Werner and Vogler, Heiko},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = {2009},
     PAGES = {xviii+608},
      ISBN = {978-3-642-01491-8},
   MRCLASS = {68-02 (68-06 68Q45 68Q70)},
  MRNUMBER = {2777706 (2012e:68002)},
       DOI = {10.1007/978-3-642-01492-5},
       URL = {http://dx.doi.org/10.1007/978-3-642-01492-5},
   SUBJECT = {Weighted automata},
}


@article{BrowneClarkeGruembergFiniteKripkeStructuresPTL,
   AUTHOR  = {Browne, Michael C. and Clarke, Edmund Melson and 
              Gr{\"u}mberg, Orna},
     TITLE = {Characterizing finite {K}ripke structures in propositional
              temporal logic},
      NOTE = {International Joint Conference on Theory and Practice of
              Software Development (Pisa, 1987)},
   JOURNAL = {Theoret. Comput. Sci.},
  FJOURNAL = {Theoretical Computer Science},
    VOLUME = 59,
      YEAR = 1988,
     MONTH = jul,
    NUMBER = {1-2},
     PAGES = {115--131},
      ISSN = {0304-3975},
     CODEN = {TCSDI},
   MRCLASS = {03B70 (03B45 68Q10 68Q55 68Q60)},
  MRNUMBER = {968903 (89k:03030)},
MRREVIEWER = {Neculai Curteanu},
       DOI = {10.1016/0304-3975(88)90098-9},
       URL = {http://dx.doi.org/10.1016/0304-3975(88)90098-9},
    eprint = {http://www.sciencedirect.com/science/article/pii/0304397588900989},
   SUBJECT = {{K}ripke structures},
}

@book{TornambeDiscreteEventSystemTheory,
    AUTHOR = {Tornamb{\`e}, Antonio},
     TITLE = {Discrete-event system theory},
      NOTE = {An introduction},
 PUBLISHER = {World Scientific Publishing Co. Inc.},
   ADDRESS = {River Edge, NJ},
      YEAR = 1995,
     MONTH = dec,
     PAGES = {xii+336},
      ISBN = {978-981-02-2361-8},
       doi = {10.1142/2845},
       URL = {http://www.worldscientific.com/worldscibooks/10.1142/2845},
   MRCLASS = {68-01 (60J10 60K25 68Q68 68Q70 68Q75)},
  MRNUMBER = {1387347 (97k:68001)},
MRREVIEWER = {Vijay Kumar Garg},
   SUBJECT = {Event systems},
}

@book{CassandrasLafortuneEventSystems,
    AUTHOR = {Cassandras, Christos G. and Lafortune, St{\'e}phane},
     TITLE = {Introduction to discrete event systems},
   EDITION = {Second},
 PUBLISHER = {Springer},
   ADDRESS = {New York},
      YEAR = {2008},
     PAGES = {xxiv+771},
      ISBN = {978-0-387-33332-8},
   MRCLASS = {93A30 (60J10 60K25 68Q45 68Q60 90C40 93C65)},
  MRNUMBER = {2364236 (2009f:93008)},
MRREVIEWER = {Fernando Lobo Pereira},
       DOI = {10.1007/978-0-387-68612-7},
       URL = {http://dx.doi.org/10.1007/978-0-387-68612-7},
   SUBJECT = {Event systems},
}

@INPROCEEDINGS{Sell71TopDynDiffEq,
    author = {George R. Sell and Wenxian Shen and Yingfei Yi},
    title = {Lectures on Topological Dynamics and Differential Equations},
    booktitle = {In Topological dynamics and applications (Minneapolis, MN},
    year = 1971,
}