Towards a Purely Functional Debugger for Functional Programs. - Simon P. Booth; Simon B. Jones (Functional Programming, 1995)

Walk Backwards to Happiness - Debugging by Time Travel. - Simon P. Booth; Simon B. Jones (AADEBUG, 1997)