new theory ‘HOL’;; An Introduction to Hardware Verification (1994)

by G Birtistle, S Chin, B Graham
Venue:in Higher Order Logic. Unpublished