T. A. Cook and E. A. Harcourt. A functional specification language for instruction set architectures. In Proc. 1994 International Conference on Computer Languages, pages 11-19, 1994.
author author author author author author author title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle pages pages date