The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Instruction set processor specifications (ISPS): The notation and its applications

The work

AuthorsMario R. Barbacci
Editors
Typearticle
Year1981
Citekeybarbacci1981instruction

Where it appeared

Published inIEEE Transactions on Computers
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
VolumeC-30
Issue1
Pages24--40

Identifiers

DOI10.1109/tc.1981.6312154
ISSN0018-9340

How it got here

How it got hereagent via crossref
Added2026-10-23 09:23 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{barbacci1981instruction,
  title        = {Instruction set processor specifications (ISPS): The notation and its applications},
  author       = {Mario R. Barbacci},
  year         = {1981},
  journal      = {IEEE Transactions on Computers},
  publisher    = {Institute of Electrical and Electronics Engineers (IEEE)},
  volume       = {C-30},
  number       = {1},
  pages        = {24--40},
  issn         = {0018-9340},
  doi          = {10.1109/tc.1981.6312154},
}

This record lives at https://refs.drheap.org/barbacci1981instruction/ and will keep doing so.