@doctoralThesis{Ziliani_2015,
title={Interactive typed tactic programming in the Coq proof assistant},
author={Ziliani, Beta},
doi={http://dx.doi.org/10.22028/D291-26598},
subtitle={Interaktives Programmieren von getypten Taktiken im Beweisassistenten Coq},
year={2015}
}