马卡里乌斯·温泽尔 使用Isabelle/Scala和Isabelle/jEdit进行异步校对处理。 （英语） Zbl 1294.68129号 Aspinall，David（编辑）等人，第九届定理证明器用户界面国际研讨会论文集（UITP10），英国爱丁堡，2010年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记285，101-114（2012）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Wenzel}，电子。注释Theor。计算。科学。285101--114（2012年；Zbl 1294.68129） 全文： 内政部
多米尼克·迪特里希;埃瓦里斯特·舒尔茨 Crystal：将结构化查询集成到策略语言中。 （英语） Zbl 1185.68618号 J.汽车。推理 44，编号1-279-110（2010）.MSC公司：68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietrich}和\textit{E.Schulz}，J.Autom。推理44，No.1-2，79-110（2010；兹bl 1185.68618） 全文： 内政部