@doctoralThesis{Neumann_2015,
title={On efficiency and reliability in computer science},
author={Neumann, Adrian},
doi={http://dx.doi.org/10.22028/D291-26624},
year={2015}
}