1. H. De Man, J. Rabaey, P. Six, and L. Claesen. Cathedral-II: a silicon compiler for digital signal processing.IEEE Design & Test of Computers, 3(6):73?85 (December 1986)
2. S. M. German, and Y. Wang. Formal verification of parameterized hardware designs.Proceedings IEEE International Conference on Computer Design: VLSI in Computers, ICCD-85, October 1985, pp. 549?552.
3. M. Gordon. HOL: a proof generating system for higher-order logic.VLSI Specification, Verification and Synthesis, G. Birtwistle and P.A. Subrahmanyam (eds.). Academic Press, Boston, 1988, pp. 73?127.
4. R.S. Boyer and J.S. Moore.A Computational Logic Handbook. Academic Press, New York, 1988.
5. C. Mead, and L. Conway.Introduction to VLSI Systems. Addison-Wesley, Reading, MA, 1980, pp. 150?154.