ReveR: Software Simulator of Reversible Processor with Stack
  A software model of a reversible processor ReveR with the stack is discussed in this paper. An architecture, the minimal set of elementary reversible operations together with an implementation of the basic control flow structures and procedures calls using simple assembler language are described. 
Alexander Yu. Vlasov
cs.ET cs.AR