克里斯蒂安·达克斯;费利克斯·克莱特克;斯特凡·洛伊 口吃变异正则属性的规范语言。 （英语） Zbl 1262.68114号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，244-254（2009）。MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人，Lect。注释计算。科学。57992244-254（2009年；兹bl 1262.68114） 全文： 内政部 链接
J.迪克斯。;克劳斯，S。;苏布拉曼尼亚，V.S。 临时代理程序。 （英语） Zbl 0976.68121号 Artif公司。智力。 127，第1期，第87-135页（2001年）.MSC公司：68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Dix}等人，Artif。智力。127，第1号，87--135（2001；Zbl 0976.68121） 全文： 内政部
A.拉比诺维奇。 将动作的时间逻辑转换为一元二阶逻辑。 （英语） Zbl 0896.03026号 西奥。计算。科学。 193，第1-2号，197-214（1998）.MSC公司：03B80号 2010年第68季度 03年11月15日 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{A.Rabinovich}，Theor。计算。科学。193，编号1--2，197-214（1998；Zbl 0896.03026） 全文： 内政部