@doctoralThesis{Wagner_2010,
title={A change-oriented architecture for mathematical authoring assistance},
author={Wagner, Marc},
doi={http://dx.doi.org/10.22028/D291-24859},
year={2010}
}