Microprocessor specification in Hawk (1998)

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