@phdthesis{UD11,
AUTHOR = {Degenbaev, Ulan},
TITLE = {Formal Specification of the x86 Instruction Set Architecture},
YEAR = {2011},
URL = {http:///publikationen/UD11.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}