Describing Instruction Sets Using nML (Extended Version (1995)

by A Fauth, J Van Praet, M Freericks