zbMATH参考文献（参考 23篇文章 引用，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. Ochoa，Claudio；Silva，Josep；Vidal，germanán:基于redex trails的lazy函数程序的动态切片（2008）
6. Braßel，Bernd:解释函数逻辑计算轨迹的框架（2007）
7. Brassel，Bernd；Fischer，Sebastian；Huch，Frank:跟踪函数逻辑计算的程序转换（2007）
8. Braßel，Bernd；Hanus，Michael；Fischer，Sebastian；Huch，Frank；Vidal，Germanán:通过价值评估的懒惰呼叫（2007）
9. Chitil，Olaf；Luo，Yong:函数程序的轨迹结构和性质（2007）
10. de la Encina，Alberto；Llana，Luis；Rubio，Fernando:将调试功能引入自然语义（2007）
11. Dennis，Louise A.：用程序切片信息增强定理证明程序接口（2007）
12. Hanus，Michael:在函数逻辑程序中报告失败（2007）
13. Sadeghi，Parissa H.；Huch，Frank:交互式Curry观察调试器iCODE（2007）ioport公司
14. Silva，Josep；Vidal，Germanán:通过部分评估对函数逻辑程序的正向切片（2007）
15. Achten，Peter:交互式探测GUI应用程序静态特性的可行性（2005）
16. Chitil，Olaf:基于源的跟踪勘探（2005）
17. de la Encina，Alberto；Llana，Luis；Rubio，Fernando:正式化Haskell的调试过程（2005）
18. Nilsson，Henrik:基于广义代数数据类型的函数反应式规划的动态优化（2005）
19. Christiansen，Jan；Huch，Frank：调试并发Haskell程序时寻找死锁（2004）
20. 克莱森，科恩；Runciman，Colin；Chitil，Olaf；Hughes，John；Wallace，Malcolm:使用QuickCheck和Hat测试和跟踪惰性函数程序（2003）