@article{AVoCS05,
  author = {Mike Gordon and Juliano Iyoda and Scott Owens and Konrad Slind},
  title = {Automatic Formal Synthesis of Hardware from Higher Order Logic},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 145,
  pages = {27--43},
  year = 2006,
  month = jan,
  note = {Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)},
  doi = {10.1016/j.entcs.2005.10.003}}