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. 《费南德哈斯拉调试法》（the Formaling process，the Familnan de de de de de de de de de de de de de de de de de de，2005年；费南德哈斯诺（Fernandon de de de de de de de
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）