Machine instruction syntax and semantics in higher-order logic (2000)

by N G Michael, A W Appel
Venue:In 17th International Conference on Automated Deduction