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

1. 阿普特，玛里亚；巴利斯，黛米斯；弗雷奇纳，旧金山；Romero，Daniel:条件重写理论的反向跟踪切片（2012）
2. 阿普特，玛里亚；巴利斯，黛米斯；弗雷奇纳，旧金山；Romero，Daniel:Julienne:条件重写理论的跟踪切片器（2012）ioport公司
3. 阿普特，玛里亚；巴利斯，黛米斯；埃斯波特，沙维尔；Romero，Daniel:重写逻辑理论的反向跟踪切片（2011）
4. Braßel，Bernd：为lazy函数逻辑语言构建调试工具的技术（2009）ioport公司
5. Braßel，Bernd:解释函数逻辑计算轨迹的框架（2007）
6. 布拉塞尔，伯纳德；费舍尔，塞巴斯蒂安；Huch，Frank:用于跟踪函数逻辑计算的程序转换（2007）
7. 奇蒂尔，奥拉夫；罗勇：函数程序的迹结构与性质（2007）
8. 德拉恩西纳，阿尔伯托；利亚纳，路易斯；Rubio，Fernando:将调试功能引入自然语义（2007）
9. Hanus，Michael:在函数逻辑程序中报告失败（2007）
10. Achten，Peter:交互式探测GUI应用程序静态特性的可行性（2005）
11. 德拉恩西纳，阿尔伯托；利亚纳，路易斯；Rubio，Fernando:在Haskell规范化调试过程（2005）
12. Nilsson，Henrik:基于广义代数数据类型的函数反应式规划的动态优化（2005）
13. 克里斯蒂安森，一月；Huch，Frank:调试并发Haskell程序时寻找死锁（2004）
14. 克莱森，科恩；林西曼，科林；奇蒂尔，奥拉夫；休斯，约翰；Wallace，Malcolm:使用QuickCheck和Hat测试和跟踪懒惰函数程序（2003）
15. 奇蒂尔，奥拉夫；林西曼，科林；Wallace，Malcolm:Freja，Hat and Hood-跟踪和调试懒惰函数程序的三个系统的比较评估（2001）
16. Nilsson，Henrik：如何在保持懒惰的同时看起来很忙：lazy函数调试器的实现。（2001年）
17. 帕雷贾，克里斯托巴尔；培尼亚，里卡多；鲁比奥，费尔南多；克拉拉，塞古拉：给懒惰的单体计算器添加痕迹（2001）