TY  - RPRT
TI  - Abstract Machine Models.
AU  - Hammond, Simon David
PY  - 2014
UR  - https://www.osti.gov/biblio/1710269
ID  - 1710269
ER  -