User recovery and reversal in interactive systems (1984)

by J E A Jr, R Conway, F B Schneider
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS