Geoff Sutcliffe's Overview of Automated Theorem Proving Effective Theorem Proving for Hardware Verification
