Specifying instructions' semantics using CSDL (preliminary report (1997)

by Norman Ramsey, Jack W Davidson