Higher order logic and hardware verification - Melham, Thomas (Cambridge tracts in theoretical computer science ;, 1993)