An Editor Calculus With Undo/Redo. - Rasmus Rendal Kjær; Magnus Holm Lundbergh; Magnus Mantzius; Hans Hüttel (SYNASC, 2021)