@doctoralThesis{Oberhauser_2017,
title={Justifying the strong memory semantics of concurrent high-level programming languages for system programming},
author={Oberhauser, Jonas},
doi={http://dx.doi.org/10.22028/D291-27208},
year={2017}
}