@doctoralThesis{Alekhin_2016,
title={Provably sound semantics stack for multi-core system programming with kernel threads},
author={Alekhin, Artem},
doi={http://dx.doi.org/10.22028/D291-26700},
subtitle={Der beweisbar korrekte Semantikstapel für Mehrkern-Systemprogrammierung mit Betriebssystemkernfäden},
year={2016}
}