莫舍·瓦尔迪。;托马斯·威尔克 自动机：从逻辑到算法。 （英语） Zbl 1234.03026号 Flum，Jörg（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。逻辑与游戏中的文本22629-736（2008）。 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}和\textit{T.Wilke}，文本日志。游戏2629-736（2008；Zbl 1234.03026）
托马斯·威尔克 交替树自动机、奇偶博弈和模态演算。 （英语） Zbl 0994.68079号 牛市。贝尔格。数学。Soc.-西蒙·斯特文 8，第2期，359-391（2001）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给公牛。贝尔格。数学。Soc.-Somon Stevin 8，No.2，359--391（2001；Zbl 0994.68079）
托马斯·威尔克 CTL（^+\）比CTL简洁得多。 （英语） Zbl 0952.03017号 Pandu Rangan，C.（编辑）等人，《软件技术和理论计算机科学基础》。第19届会议，印度钦奈，1999年12月13日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1738, 110-121 (1999).MSC公司：03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Wilke}，莱克特。注释计算。科学。1738、110-121（1999；Zbl 0952.03017）