@misc{indiciae54b707d85aea,
  title = {Abstract Stobjs and Their Application to ISA Modeling},
  author = {Shilpi Goel and Warren A Hunt, Jr. and Matt Kaufmann},
  year = {2013},
  doi = {10.4204/eptcs.114.5},
  url = {https://arxiv.org/abs/1304.7858},
  note = {Source identifier: 1304.7858}
}