@doctoralThesis{Schneider_2018,
title={A verified compiler for a linear imperative / functional intermediate language},
author={Schneider, Sigurd},
doi={http://dx.doi.org/10.22028/D291-27566},
year={2018}
}