Higher Order Logic Theorem Proving and Its Applications: 6th ...
Preview
Thomas F. Melham. A mechanized theory of the r-calculus in HOL. Technical
Report 244, University of Cambridge Computer Laboratory, January 1992. 19.
Thomas Frederick Melham. Formalizing Abstraction Mechanisms for Hardware ...