@doctoralThesis{Pentchev_2016,
title={Sound semantics of a high-level language with interprocessor interrupts},
author={Pentchev, Hristo},
doi={http://dx.doi.org/10.22028/D291-26657},
subtitle={Die korrekte Semantik einer höheren Programmiersprache mit Interprocessor Interrupts},
year={2016}
}