Zelkowitz MV.  1973.  Reversible execution. Commun. ACM. 16(9):566?-566?.