吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 一阶解算器API的工具构建要求。 （英语） Zbl 1272.68358号 Armando，Alessandro（编辑）等人，《自动推理中决策过程的语用学第三次研讨会论文集》（PDPAR 2005），英国爱丁堡，2005年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》144，第2期，15-26页（2006年）。MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.Grundy｝等人，电子。注释Theor。计算。科学。144，No.2，15--26（2006；Zbl 1272.68358） 全文： 链接
吉姆·格兰迪;汤姆·梅尔姆;约翰·奥利里 用于硬件设计和定理证明的反射函数语言。 （英语） Zbl 1086.68526号 J.功能。程序。 16，第2期，157-196（2006）.MSC公司：68甲18 68吨15 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Grundy}等人，J.Funct。程序。16，第2号，157--196（2006；Zbl 1086.68526） 全文： 内政部