@收款{zbMATH06241714，作者={Chitil，Olaf和Luo，Yong}，标题={函数程序跟踪的结构和属性}，BookTitle={第三届术语图改写国际研讨会论文集（TERMGRAPH 2006），奥地利维也纳，2006年4月}，页码={39--63}，年份={2007}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2006.10.032}，关键词={68N18，68Q42}，zbMATH={6241714}，Zbl={1278.68058}}