A reversible programming language and its invertible self-interpreter
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007) - Comments
doi: 10.1145/1244381.1244404 

Tetsuo Yokoyama, Robert Glück