1. Booth, S.P., Jones, S.B.: Walk backwards to happiness - debugging by time travel. In: Automated and Algorithmic Debugging, pp. 171–183 (1997)
2. Lecture Notes in Computer Science;R. Caballero,2001
3. Lecture Notes in Computer Science;O. Chitil,2001
4. Drabent, W., Nadjm-Tehrani, S., Maluszynski, J.: The use of assertions in algorithmic debugging. In: Proc. FGCS 1988, pp. 573–581 (1988)
5. Gill, A.: Debugging Haskell by observing intermediate data structures. In: Hutton, G. (ed.) ENTCS, vol. 41, Elsevier, Amsterdam (2001)