@第{zbMATH00218930条，作者={Lu，Jianguo and Xu，Jiafu}，标题={基于类型理论的类比程序推导}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={113}，数字={2}，页码={259--272}，年份={1993}，语言={英语}，DOI={10.1016/0304-3975（93）90004-D}，关键词={68Q60,03B15}，zbMATH={218930}，Zbl={0770.68091}}