Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama. Reversible Machine Code and Its Abstract Processor Architecture. In Volker Diekert, Mikhail V. Volkov, Andrei Voronkov, editors, Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Volume 4649 of Lecture Notes in Computer Science, pages 56-69, Springer, 2007. [doi]