@workingPaper{Sieber_1980,
title={Relative completeness of a Hoare-calculus for while-programs},
author={Sieber, Kurt},
doi={http://dx.doi.org/10.22028/D291-26080},
year={1980}
}