Microprocessor specification in Hawk (1998)

by John Matthews, John Launchbury, Byron Cook
Venue:In International Conference on Computer Languages, ICCL798