A formal approach to undo operations in programming languages (1986)

by G B Leeman
Venue:ACM Trans. Program. Lang. Syst