{
  "id": "Bommarito2026InstructionSetsProgramsAndProofs",
  "type": "book",
  "title": "Instruction Sets, Programs, and Proofs: Semantics, Equivalence, and Optimization",
  "author": [
    {
      "family": "Bommarito",
      "given": "M. J."
    }
  ],
  "issued": {
    "date-parts": [
      [
        null
      ]
    ]
  },
  "publisher": "Michael Bommarito",
  "page": "553",
  "URL": "https://github.com/mjbommar/words-and-machines",
  "keyword": "computer architecture, program semantics, formal methods",
  "status": "open"
}