@doctoralThesis{Schäfer_2019,
title={Engineering formal systems in constructive type theory},
author={Schäfer, Steven},
doi={http://dx.doi.org/10.22028/D291-29909},
year={2019}
}