默多克·J·加贝。；迈克尔·加巴伊 非类型lambda演算在名义格和拓扑语义中的表示和对偶，以及拓扑完备性的证明。 （英语） 兹比尔1422.03023 Ann.纯粹应用。逻辑 168，第3期，501-621（2017）.MSC公司：03B40型 06年50月 03C55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.Gabbay}，Ann.纯粹应用。逻辑168，No.3，501--621（2017；Zbl 1422.03023） 全文： DOI程序 arXiv公司 链接
贾尼斯·西鲁利斯 附近有超控操作。 （英语） Zbl 1216.06003号 订单 28，第1期，33-51（2011）. 审核人：伊万·查伊达（Přerov） MSC公司：2012年6月 08A55号 08B26号 PDF格式BibTeX公司 XML格式引用 \textit｛J.Cīrulis｝，第28号令，第1号，33-51（2011年；Zbl 1216.06003） 全文： DOI程序
张国强；蒋莹 关于Amadio和Curien的一个开放问题：有限反链条件。 （英语） 邮编1088.18004 Inf.计算。 202，第1期，87-103（2005）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：18B35型 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang}和\textit{Y.Jiang}，Inf.Compute。202，第1号，87--103（2005；Zbl 1088.18004） 全文： DOI程序
约尔迪·利维；贾姆·阿古斯蒂 双重写，一种用于单调次序关系的术语重写技术。 （英语） Zbl 1503.68131号 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。690, 17-31 (1993).MSC公司：2012年第68季度 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{J.Agustí}，莱克特。注释计算。科学。690、17-31（1993年；Zbl 1503.68131） 全文： DOI程序
约瑟夫·戈根（Joseph A.Goguen）。；何塞·梅塞盖尔 有序代数。一： 多重继承、重载、异常和部分操作的等式推导。 （英语） Zbl 0778.68056号 西奥。计算。科学。 105，第2期，217-273（1992）. 审核人：S.Bloom（霍博肯） MSC公司：68问题55 08A70号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer}，Theor。计算。科学。105，第2号，217--273（1992；Zbl 0778.68056） 全文： DOI程序