zbMATH中的参考文献（参考 17篇文章 参考，1标准件)

1. Alpuente，María；Ballis，Demis；Frechina，Francisco；Romero，Daniel:条件重写理论的反向跟踪切片（2012）
2. 阿普特，马利亚；巴利斯，德米斯；弗雷奇纳，弗朗西斯科；罗梅罗，丹尼尔：朱利安：条件重写理论的跟踪切片器（2012）ioport公司
3. 阿普特，马利亚；巴利斯，德米斯；埃斯波特，哈维尔；罗梅罗，丹尼尔：重写逻辑理论的反向跟踪切片（2011）
4. Braßel，Bernd：为lazy函数逻辑语言构建调试工具的技术（2009）ioport公司
5. Braßel，Bernd:解释函数逻辑计算轨迹的框架（2007）
6. Brassel，Bernd；Fischer，Sebastian；Huch，Frank:跟踪函数逻辑计算的程序转换（2007）
7. Chitil，Olaf；Luo，Yong:函数程序的轨迹结构和性质（2007）
8. de la Encina，Alberto；Llana，Luis；Rubio，Fernando:将调试功能引入自然语义（2007）
9. Hanus，Michael:在函数逻辑程序中报告失败（2007）
10. Achten，Peter:交互式探测GUI应用程序静态特性的可行性（2005）
11. de la Encina，Alberto；Llana，Luis；Rubio，Fernando:正式化Haskell的调试过程（2005）
12. Nilsson，Henrik:基于广义代数数据类型的函数反应式规划的动态优化（2005）
13. Christiansen，Jan；Huch，Frank：调试并发Haskell程序时寻找死锁（2004）
14. 克莱森，科恩；Runciman，Colin；Chitil，Olaf；Hughes，John；Wallace，Malcolm:使用QuickCheck和Hat测试和跟踪惰性函数程序（2003）
15. Chitil，Olaf；Runciman，Colin；Wallace，Malcolm:Freja，Hat and Hood-跟踪和调试惰性函数程序的三个系统的比较评估（2001）
16. Nilsson，Henrik：如何在保持懒惰的同时看起来很忙：lazy函数调试器的实现。（2001年）
17. 克里斯托巴尔·帕雷贾；培尼亚，里卡多；鲁比奥，费尔南多；塞古拉，克拉拉：给懒惰的独身评估者添加痕迹（2001）