Igor: A System for Program Debugging via Reversible Execution. - Stuart I. Feldman; Channing B. Brown (Workshop on Parallel and Distributed Debugging, 1988)