@doctoralThesis{Bogan_2008,
title={Formal specification of a simple operating system},
author={Bogan, Sebastian},
doi={http://dx.doi.org/10.22028/D291-25927},
year={2008}
}