Higher Order Logic and Hardware Verification door Thomas F. Melham