@第{zbMATH03740791条，作者={Manna，Zohar and Waldinger，Richard}，标题={统一算法的演绎综合}，FJournal={计算机编程科学}，日志={Sci.Compute.Program.}，ISSN={0167-6423}，体积={1}，页码={5--48}，年份={1981}，语言={英语}，DOI={10.1016/0167-6423（81）90004-6}，关键词={68T15,68N01,68W99}，zbMATH={3740791}，Zbl={0472.68054}}