Reversible Execution as a Diagnostic Tool. - Marvin Zelkowitz (1971)