Microprocessor Specification in Hawk (1998)

by John Matthews, Byron Cook, John Launchbury
Venue:In Proceedings of the 1998 International Conference on Computer Languages