@article{FAC07,
  author = {Konrad Slind and Scott Owens and Juliano Iyoda and Mike Gordon},
  title = {Proof Producing Synthesis of Arithmetic and Cryptographic Hardware},
  volume = 19,
  number = {3},
  year = 2007,
  month = aug,
  pages = {343--362},
  publisher = {Springer},
  journal = {Formal Aspects of Computing},
  doi = {10.1007/s00165-007-0028-5}}