An Introduction to Hardware Verification in Higher Order Logic (1991)

by G Birtwistle, S K Chin, B Graham