@inbook {IOPORT.06069175,
    author       = {Thomsen, Michael Kirkedal and Axelsen, Holger Bock and Gl\"uck, Robert},
    title        = {A reversible processor architecture and its reversible logic design.},
    year         = {2012},
    booktitle    = {Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4--5, 2011. Revised papers},
    isbn         = {978-3-642-29516-4},
    pages        = {30-42},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-29517-1_3},
    abstract     = {Summary: We describe the design of a purely reversible computing architecture, Bob, and its instruction set, BobISA. The special features of the design include a simple, yet expressive, locally-invertible instruction set, and fully reversible control logic and address calculation. We have designed an architecture with an ISA that is expressive enough to serve as the target for a compiler from a high-level structured reversible programming language. All-in-all, this paper demonstrates that the design of a complete reversible computing architecture is possible and can serve as the core of a programmable reversible computing system.},
    identifier   = {06069175},
}