"Reversible Machine Code and Its Abstract Processor Architecture."

Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics