A functional specification language for instruction set architectures (1994)

by T A Cook, E Harcourt
Venue:in Proceedings of the 1994 IEEE Computer Society International Conference on Computer Languages