1. J.T.J. VAN EIINHOVEN,J.JESS, AND J.P. BRAGE. Behavioral Specifiation for Synthesis. In F. CATTHOOR AND L. SVENSSON, editors, Application—Driven Architecture Synthesis, chapter 2, pages 23–45. Kluwer Academic Publishers, 1993.
2. L. GERBAUX AND G. SAUCIER. Automatic Synthesis of Large Moore Sequencers. Integration, the VLSI journal, 13: 259–281, September 1992.
3. M.J.M. HEISLIGERS, H.M.A.M. ARTS, J.T.J. VAN EINDHOVEN, H.A. HILDERINK, J.A.G. JESS, W.J.M. PIHLIPSEN, AND A.H. TIMMER. The New Eindhoven Architectural synthesis Toolbox. In Workshop on Circuits, Systems and Signal Processing pages 71–75, Houthalen (B), March 1993. ProRisc/IEEE Benelux.
4. D. Ku AND G. DE MICHELI. Optimal Synthesis of Control Logic from Behavioral Specifications. Integration, the VLSI journal, 10: 271–298, October 1991.
5. K. RANERUP, L. PHILIPSON,J. MADSEN, O. OLESEN, AND G. JANSSEN. Controller Synthesis and Verification. In Application—Driven Architecture Synthesis, chapter 10, pages 211–230. Kluwer Academic Publishers, 1993.