1. Mike Spivey and Ian Page. How to Design Hardware with Handel, Oxford University Computing Laboratory, December 1993.
2. Rajesh K. Gupta and Giovanni De Micheli. System-level Synthesis using Re-programmable Components. In Proceedings of the European Conference on Design Automation, pages 2–7, Brussels, Belgium, February 1992.
3. Antonio Joaquim Esteves. Rapid Prototyping of Digital Systems. Technical report, Dep. Informatica, Universidade do Minho, Braga, Portugal, July 1994.
4. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. A Formal Specification Model for Hardware/Software Codesign. Technical report ERL-93–48, University of California - Berkeley, June 1993.
5. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.