@book{Bommarito2026InstructionSetsProgramsAndProofs,
  author = {Bommarito, M. J.},
  title = {Instruction Sets, Programs, and Proofs: Semantics, Equivalence, and Optimization},
  publisher = {Michael Bommarito},
  year = {2026},
  pages = {553},
  url = {https://github.com/mjbommar/words-and-machines}
}