Tassel J. Experience with embedding hardware description languages in HOL (1992)

by Boulton RJ, Gordon AD, Harrison JR, Herbert JMJ, Van
Venue:In Stavridou V, Melham TF, Boute RT (eds), Theorem Provers in Circuit Design: Theory, Practice and Experience: Proceedings of the IFIP TC10/WG 10.2 International Conference, IFIP Transactions A-10, pp 129--156. NorthHolland