Richard J. Boulton Andrew Gordon Michael J. C. Gordon John Harrison John Herbert John Van Tassel Experience with Embedding Hardware Description Languages in HOL. 129-156 1992 conf/tpcd/1992 TPCD db/conf/tpcd/tpcd1992.html#BoultonGGHHT92