@article{WSSD:2013,
  author = {Robert Wille and Eleonora Schönborn and Mathias Soeken and and
Rolf Drechsler},
  title = {{SyReC: A Hardware Description Language for the Specification
and Synthesis of Reversible Circuits}},
  journal = {submitted},
  volume  = {},
  number = {},
  year = {2013},
  pages = {},
  note = {}
}