@doctoralThesis{Degenbaev_2012,
title={Formal specification of the x86 instruction set architecture},
author={Degenbaev, Ulan},
doi={http://dx.doi.org/10.22028/D291-26338},
subtitle={Formelle Spezifizierung von dem x86-Befehlssatz},
year={2012}
}