@InCollection{zbMATH06294846，作者={斯克里文，亚当}，Title＝{具有不变测度的精确实积分的函数算法}，BookTitle={第24届编程语义数学基础会议论文集（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日}，页码={337--353}，年份={2008}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2008.10.20}，关键词={68N18,06B35,28-04,28A75}，zbMATH={6294846}，Zbl={1286.68061}}