Describing instruction set processors using nML

A. Fauth, J. Van Praet, M. Freericks. Describing instruction set processors using nML. In 1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995. pages 503-507, IEEE Computer Society, 1995. [doi]

@inproceedings{FauthPF95,
  title = {Describing instruction set processors using nML},
  author = {A. Fauth and J. Van Praet and M. Freericks},
  year = {1995},
  doi = {10.1109/EDTC.1995.470354},
  url = {http://doi.ieeecomputersociety.org/10.1109/EDTC.1995.470354},
  researchr = {https://researchr.org/publication/FauthPF95},
  cites = {0},
  citedby = {0},
  pages = {503-507},
  booktitle = {1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-7039-8},
}