You can find the classic dblp view of this page here.
George B. Leeman Jr.
- [j3]George B. Leeman Jr.: A Formal Approach to Undo Operations in Programming Languages. ACM Trans. Program. Lang. Syst. 8(1): 50-87 (1986)
- [c3]Robert F. Gordon, George B. Leeman Jr., Clayton H. Lewis: Concepts and Implications of Undo for Interactive Recovery. ACM Annual Conference - The range of computing: mid-80's perspective 1985: 150-157