@第{zbMATH04166860条，作者={Kaldewaij，Anne和Rem，Martin}，标题={收缩计算的推导}，FJournal={计算机编程科学}，日志={Sci.Compute.Program.}，ISSN={0167-6423}，体积={14}，数字={2-3}，页码={229--242}，年份={1990}，语言={英语}，DOI={10.1016/0167-6423（90）90021-5}，关键词={68W15,68Q60}，zbMATH＝{4166860}，Zbl=｛0709.68020｝}