@diplomathesis{2008_baumann_dipl,
title = {Formal Specification of the x87 Floating-Point Instruction Set},
author = {Christoph Baumann},
year = {2008},
date = {2008-01-01},
keywords = {}
}