HOL: A Proof Generating System for Higher Order Logic (1989)

by M J C Gordon
Venue:Current Trends in Hardware Verification and Theorem Proving