Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic - Melham, T (1989)