Specifying superscalar microprocessors in Hawk (1998)

by Byron Cook, John Launchbury, John Matthews
Venue:In 1998 Workshop on Formal Techniques for Hardware and Hardware-like Systems, Marstrand