@doctoralThesis{Neis_2018,
title={Compositional compiler correctness via parametric simulations},
author={Neis, Georg},
doi={http://dx.doi.org/10.22028/D291-27303},
year={2018}
}