克拉克，E.M.jun。 [艾泽尔，P。;J.V.塔克。;谢泼德森，J.C。] 霍尔逻辑的表征问题。由P.Aczel、J.V.Tucker和J.C.Shepherdson进行讨论。 （英语） Zbl 0598.68035号 菲洛斯。事务处理。R.Soc.伦敦。，A类 312423-440（1984年）. 引用于2文件 MSC公司： 68问题65 抽象数据类型；代数规范 68号01 软件理论中的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \文本{E.M.Clarke jun.}，Philos。事务处理。R.Soc.伦敦。，序列号。A 312423-440（1984年；Zbl 0598.68035） 全文： 内政部