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

by N Michael, A Appel
Venue:in Proceedings 17th International Conference on Automated Deduction