[1] Arnold A.，Rationalω语言是无歧义的，Theoret。计算。科学。，1983, 26(1–2), 221–223 网址：http://dx.doi.org/10.1016/0304-3975（83）90086-510.1016/0304-3975(83)90086-5在谷歌学者中搜索
[2] Büchi J.R.，《关于限制二阶算术中的决策方法》，载《国际逻辑、方法论和科学哲学大会论文集》，斯坦福大学出版社，1962年，第1-11页在谷歌学者中搜索
[3] Büchi J.R.，Landweber L.H.，用有限状态策略求解序列条件，Trans。阿米尔。数学。Soc.，1969年，138，295–31110.1090/S0002-9947-1969-0280205-0在谷歌学者中搜索
[4] Carayol A.，Wöhrle S.，《逻辑和高阶下推自动机方面无限图的Caucal层次结构》，in:第23届软件技术和理论计算机科学基础会议论文集，FST TCS 2003，计算机科学讲义，2914，Springer，Berlin，2003，112–12310.1007/978-3-540-24597-1_10在谷歌学者中搜索
[5] Carayol A.，Löding C.，《无限二叉树上的MSO：选择和顺序》，摘自：欧洲计算机科学逻辑协会第16届年会论文集，2007年CSL，计算机科学讲义，4646，柏林斯普林格，2007年，161-17610.1007/978-3-540-74915-8_15在谷歌学者中搜索
[6] Caucal D.，《关于具有可判定一元理论的无限项》，载于：第27届计算机科学数学基础国际研讨会论文集，MFCS 2002，计算机科学讲义，2420，柏林斯普林格，2002，165-17610.1007/3-540-45687-2_13在谷歌学者中搜索
[7] Church A.，《逻辑、算术和自动机：国际数学家大会会议记录》（1962年斯德哥尔摩），德朱尔斯霍姆Mittag-Lefler研究所，1963年，23-35在谷歌学者中搜索
[8] Dawar A.，Grädel E.，平价游戏的描述复杂性，In:第17届计算机科学逻辑年会论文集，CSL 2008，计算机科学讲义，5213，Springer，Berlin，2008，354–36810.1007/978-3-540-87531-4_26在谷歌学者中搜索
[9] Ebbinghaus H.-D.，Flum J.，有限模型理论，数理逻辑观点，施普林格，柏林，1995年10.1007/978-3-662-03182-7在谷歌学者中搜索
[10] Grädel E.，Thomas W.，Wilke T.，自动机、逻辑学和无限对策，计算机科学讲义，2500，施普林格，柏林，200210.1007/3-540-36387-4在谷歌学者中搜索
[11] Gurevich Y.，Shelah S.，Rabin的均匀化问题，J.符号逻辑，1983，48（4），1105–1119http://dx.doi.org/10.2307/227367310.2307/2273673在谷歌学者中搜索
[12] Kähler D.，Wilke T.，《Büchi automata统一的补充、消歧和确定》，In:第35届国际自动化学术讨论会论文集，语言与编程，ICALP 2008，第一部分，计算机科学讲稿，5125，柏林斯普林格，2008，724-73510.1007/978-3-540-70575-8_59在谷歌学者中搜索
[13] Lifsches S.，Shelah S.，树类中的均匀化、选择函数和良序，符号逻辑杂志，1996，61（4），1206–1227http://dx.doi.org/10.2307/227581210.2307/2275812在谷歌学者中搜索
[14] Lifsches S.，Shelah S.，树类中的一致化和Skolem函数，符号逻辑杂志，1998，63（1），103–127http://dx.doi.org/10.2307/258659110.2307/2586591在谷歌学者中搜索
[15] Löding C.，无限树上的自动机和逻辑，Habilitationsschrift，亚琛RWTH，2009在谷歌学者中搜索
[16] McNaughton R.，用有限自动机测试和生成无限序列，信息与控制，1966，9（5），521-530http://dx.doi.org/10.1016/S0019-9958（66）80013-X10.1016/S0019-9958（66）80013-X在谷歌学者中搜索
[17] Monti A.，Peron A.，《收缩树ω语言：操作和逻辑视图》，Theoret。计算。科学。，2000, 233(1–2), 1–18 http://dx.doi.org/10.1016/S0304-3975（97）00257-010.1016/S0304-3975（97）00257-0在谷歌学者中搜索
[18] Mostowski A.W.，无限树的正则表达式和自动机的标准形式，In:计算理论，计算机科学讲义，208，Springer，柏林，1984，157-16810.1007/3-540-16066-3_15在谷歌学者中搜索
[19] 拉宾M.O.，无限树上二阶理论和自动机的可判定性，Trans。阿米尔。数学。Soc.，1969年，第141页，第1-35页10.1090/S0002-9947-1969-0246760-1在谷歌学者中搜索
[20] 拉宾·M.O.，《无限对象上的自动机和丘奇问题》，美国数学学会，波士顿，1972年10.1090/cbms/013在谷歌学者中搜索
[21]Rabinovich A.，关于顺序的一元逻辑对由一元谓词扩展的自然数的可判定性，Inform。和计算。，2007, 205(6), 870–889 http://dx.doi.org/10.1016/j.ic.2006.12.00410.1016/j.ic.2006.12.004在谷歌学者中搜索
[22]Safra S.，关于ω-自动机的复杂性，In:第29届计算机科学基础年会论文集，FoCS 1988，IEEE计算机社会出版社，洛斯阿拉米托斯，1988，319-327http://dx.doi.org/10.109/SFCS.1988.2194810.1109/SFCS.1988.21948在谷歌学者中搜索
[23]Seidl H.，有限树自动机的判定等价性，SIAM J.Comput。，1990, 19(3), 424–437 http://dx.doi.org/10.1137/021902710.1137/0219027在谷歌学者中搜索
[24]Semenov A.L.，一元理论的可判定性，摘自：第十一届计算机科学数学基础国际研讨会论文集，1984年MFCS，计算机科学讲义，176，柏林斯普林格，1984年，162-1752007年10月10日/BFb0030296在谷歌学者中搜索
[25]Siefkes D.，某些一元二阶算术片段中的递归集，Arch。数学。Logik Grundlagenforsch.公司。，1975, 17(1–2), 71–80 http://dx.doi.org/10.1007/BF022808172007年10月10日/BF02280817在谷歌学者中搜索
[26]Stearns R.E.，Hunt H.B.，关于明确正则表达式、正则文法和有限自动机的等价性和包含问题，SIAM J.Compute。，1985, 14(3), 598–611 http://dx.doi.org/10.1137/021404410.1137/0214044在谷歌学者中搜索
[27]托马斯·W.，《无限对象上的自动机》，摘自：《理论计算机科学手册》，B：形式模型和语义，爱思唯尔出版社，阿姆斯特丹，1990年，133–19110.1016/B978-0-444-88074-1.50009-3在谷歌学者中搜索
[28]Thomas W.，《关于无限游戏中策略的综合》，摘自：第12届计算机科学理论方面年度研讨会论文集，STACS’95，计算机科学讲义，900，柏林斯普林格，1995，1-1310.1007/3-540-59042-0_57在谷歌学者中搜索
[29]托马斯·W.，语言、自动机和逻辑，In:形式语言理论手册，3，施普林格，柏林，1997，389–45510.1007/978-3-642-5912-6_7在谷歌学者中搜索
[30]Thomas W.，Church的问题和自动机理论之旅，《计算机科学的支柱》，献给Boris（Boaz）Trakhtenbrot 85岁生日的散文，计算机科学讲义，4800，施普林格，柏林，2008，635–65510.1007/978-3-540-78127-1_35在谷歌学者中搜索
