Structuring and automating hardware proofs in a higher-order theorem-proving environment (1993)

by R Kumar, K Schneider, T Kropf
Venue:Journal of Formal System Design