James E. Archer Jr. Richard Conway Fred B. Schneider User Recovery and Reversal in Interactive Systems. 1-19 1984 6 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357233.357234 db/journals/toplas/toplas6.html#ArcherCS84