@misc{indiciae52f4182cc958,
  title = {Abstract Machine Models.},
  author = {Hammond, Simon David},
  year = {2014},
  url = {https://www.osti.gov/biblio/1710269},
  note = {Source identifier: 1710269}
}