@doctoralThesis{Stark_2019,
title={Mechanising syntax with binders in Coq},
author={Stark, Kathrin},
doi={http://dx.doi.org/10.22028/D291-30298},
year={2019}
}