Paul F.Hoogendijk。 Boom类型层次结构中的（关系）编程定律。 （英语） Zbl 0797.68025号 Bird，Richard S.（编辑）等人，《程序构造的数学》。第二届国际会议，英国牛津，1992年6月29日至7月3日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。669, 163-190 (1993).MSC公司：68号01 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Hoogendijk}，莱克特。注释计算。科学。669、163--190（1993年；Zbl 0797.68025）
耶拉姆拉朱五世（Yellamraju V.Srinivas）。 模式匹配及相关问题的理论方法。 （英语） Zbl 0783.68088号 西奥。计算。科学。 112，第1期，53-97（1993）.MSC公司：99年第68季度 68瓦10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Y.V.Srinivas}，Theor。计算。科学。112，第1号，53-97（1993年；Zbl 0783.68088） 全文： DOI程序
陆建国;徐家福 基于类型理论的类比程序推导。 （英语） Zbl 0770.68091号 西奥。计算。科学。 113，第2期，259-272（1993）.MSC公司：60年第68季度 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}和\textit{J.Xu}，Theor。计算。科学。113，第2号，259--272（1993；Zbl 0770.68091） 全文： DOI程序