@techreport{Prosyd:2.2.1,
  author	= {Bloem, R. and Jobstmann, B. and Pnueli, A.},
  title		= {Property-Based Logic Synthesis for Rapid Design Prototyping},
  year		= {2005},
  number	= {Prosyd D2.2/1},
  pdf		= {files/Prosyd2.2_1.pdf},
}