Higher Order Logic and Hardware Verification - Melham, T (Cambridge University Press, 1993)