Formalising Abstraction Mechanisms for Hardware Verification in Higher Order Logic (1990)

by Thomas Frederick Melham