@书籍{zbMATH00738375，编辑={Morgan，Carroll and Vickers，Trevor}，Title={关于精化演算}，国际标准图书编号={3-540-19809-1}，年份={1994}，出版商={柏林：Springer-Verlag}，语言={英语}，关键词={68-06,00B15,68Q60}，zbMATH={738375}，Zbl={0818.68023}}