本·史密斯;迈克尔·克拉克森。 选举可验证性的调查定义。 （英语） Zbl 07537426号 信息处理。莱特。 177，文章ID 106267，9 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛B.Smyth｝和\textit｛M.R.Clarkson｝，Inf.过程。莱特。177，文章ID 106267，9 p.（2022；Zbl 07537426） 全文： 内政部
迈克尔·克拉克森。;弗雷德·施耐德。 完整性量化。 （英语） Zbl 1361.68080号 数学。结构。计算。科学。 25207-258（2015）第2期.MSC公司：68页30 68号30 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.R.克拉克森}和\textit{F.B.施奈德}，数学。结构。计算。科学。25，第2号，207--258（2015；Zbl 1361.68080） 全文： 内政部
纳撒尼尔·奈斯特罗姆;迈克尔·克拉克森。;安德鲁·迈尔斯。 Polyglot：一个可扩展的Java编译器框架。 （英语） Zbl 1032.68925号 Hedin，Görel（编辑），《编译器构造》。2003年4月7日至11日在波兰华沙举行的第12届国际会议（CC 2003），是欧洲软件理论与实践联合会议（ETAPS 2003）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2622, 138-152 (2003).MSC公司：68单位99 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Nystrom}等人，Lect。注释计算。科学。2622138--152（2003年；Zbl 1032.68925） 全文： 链接