Reversible Execution
CACM September, 1973
Zelkowitz, M. V.
