Kumar, et al.. Structuring and Automating Hardware Proofs in a Higher-order Theorem-proving Environment. Springer Nature, 1993, doi:10.1007/bf01383880.