Abstraction Mechanisms for Hardware Verification - Melham, T (Computer Laboratory‚ University of Cambridge, 1987)