zbMATH中的参考文献（参考文献23条,1标准件)

1. 阿普特，玛里亚；巴利斯，黛米斯；弗雷奇纳，旧金山；Romero，Daniel:条件重写理论的反向跟踪切片（2012）
2. 阿普特，玛里亚；巴利斯，黛米斯；弗雷奇纳，旧金山；Romero，Daniel:Julienne:条件重写理论的跟踪切片器（2012）ioport公司
3. 阿普特，玛里亚；巴利斯，黛米斯；埃斯波特，沙维尔；Romero，Daniel:重写逻辑理论的反向跟踪切片（2011）
4. Braßel，Bernd：为lazy函数逻辑语言构建调试工具的技术（2009）ioport公司
5. 奥乔亚，克劳迪奥；席尔瓦，约瑟普；Vidal，Germanán:基于redex trails的lazy函数程序的动态切片（2008）
6. Braßel，Bernd:解释函数逻辑计算轨迹的框架（2007）
7. 布拉塞尔，伯纳德；费舍尔，塞巴斯蒂安；Huch，Frank:用于跟踪函数逻辑计算的程序转换（2007）
8. 伯纳德，布拉埃勒；哈纳斯，迈克尔；费舍尔，塞巴斯蒂安；哈奇，弗兰克；维达尔，格曼：《懒惰的价值评估》（2007）
9. 奇蒂尔，奥拉夫；罗勇：函数程序的迹结构与性质（2007）
10. 德拉恩西纳，阿尔伯托；利亚纳，路易斯；Rubio，Fernando:将调试功能引入自然语义（2007）
11. Dennis，Louise A.：用程序切片信息增强定理证明程序接口（2007）
12. Hanus，Michael:在函数逻辑程序中报告失败（2007）
13. 萨迪吉，帕里萨H。；Frank Hude interactive debugger（2007年《交互式调试器》）ioport公司
14. 席尔瓦，约瑟普；维达尔，格曼：功能逻辑程序部分评价的前向切片（2007）
15. Achten，Peter:交互式探测GUI应用程序静态特性的可行性（2005）
16. Chitil，Olaf:基于源的跟踪勘探（2005）
17. 德拉恩西纳，阿尔伯托；利亚纳，路易斯；Rubio，Fernando:在Haskell规范化调试过程（2005）
18. Nilsson，Henrik:基于广义代数数据类型的函数反应式规划的动态优化（2005）
19. 克里斯蒂安森，一月；并发程序搜索（Frank Haskell 2004）
20. 克莱森，科恩；林西曼，科林；奇蒂尔，奥拉夫；休斯，约翰；使用lazy-tracing和colm进行功能测试（Wallace-2003和colm）