The Princeton University Behavioral Synthesis System. - Wayne H. Wolf; Andrés Takach; Chun-Yao Huang; Richard Manno; Ephrem Wu (DAC, 1992)