Specifying microprocessors in Hawk (1998)

by J Matthews, J Launchbury, B Cook
Venue:In IEEE International Conference on Computer Languages