@doctoralThesis{Schairer_2006,
title={Transformations of specifications and proofs to support an evolutionary formal software development},
author={Schairer, Axel},
doi={http://dx.doi.org/10.22028/D291-25851},
year={2006}
}