new theory'HOL'; An Introduction to Hardware Formal Verification in Higher Order Logic. Laboratory for Applied Logic (1994)

by G Birtwistle, B Graham, S K Chin